A Static Analysis Platform for Investigating Security Trends in Repositories.
Tim SonnekalbChristopher-Tobias KnaustBernd GrunerClemens-Alexander BrustThomas S. HeinzeLynn von KurnatowskiAndreas SchreiberPatrick MäderPublished in: SVM (2023)
Keyphrases
- static analysis
- java card
- source code
- dynamic analysis
- malicious code
- symbolic execution
- abstract interpretation
- open source
- test generation
- software systems
- information security
- regular expressions
- learning objects
- intrusion detection
- security policies
- test suite
- metadata
- key management
- security requirements
- data sets
- feature space