Developing and Applying Custom Static Analysis Tools for Industrial Multi-Language Code Bases.
Dennis DamsJeroen KetemaPepijn KramerArjan J. MooijAndrei RadulescuPublished in: BENEVOL (2021)
Keyphrases
- building blocks
- malware detection
- static analysis
- source code
- malicious code
- dynamic analysis
- regular expressions
- symbolic execution
- test generation
- programs written
- abstract interpretation
- domain specific
- test suite
- software systems
- java card
- specification language
- database
- programming language
- management tools
- object oriented systems
- pattern matching
- databases