Enhancing Security Assurance in Software Development: AI-Based Vulnerable Code Detection with Static Analysis.
Sampath RajapakshaJanaka SenanayakeHarsha KalutarageM. Omar Al-KadriPublished in: ESORICS Workshops (2) (2023)
Keyphrases
- static analysis
- java card
- software development
- dynamic analysis
- source code
- malicious code
- anti virus
- information security
- symbolic execution
- software systems
- artificial intelligence
- software projects
- test generation
- regular expressions
- abstract interpretation
- intrusion detection
- api calls
- reverse engineering
- software developers
- software architecture
- anomaly detection
- case study
- software engineering
- malware detection
- access control
- security requirements
- databases
- development process
- security analysis
- open source
- security risks
- countermeasures
- data model
- pattern matching