A Static Analysis Platform for Investigating Security Trends in Repositories.
Tim SonnekalbChristopher-Tobias KnaustBernd GrunerClemens-Alexander BrustLynn von KurnatowskiAndreas SchreiberThomas S. HeinzePatrick MäderPublished in: CoRR (2023)
Keyphrases
- static analysis
- java card
- source code
- dynamic analysis
- symbolic execution
- malicious code
- open source
- abstract interpretation
- digital libraries
- access control
- software systems
- information security
- test generation
- regular expressions
- smart card
- security model
- computing platform
- security requirements
- intrusion detection
- api calls
- database
- security policies
- metadata
- real world
- data sets