Understanding How to Use Static Analysis Tools for Detecting Cryptography Misuse in Software.
Alexandre Melo BragaRicardo DahabNuno AntunesNuno LaranjeiroMarco VieiraPublished in: IEEE Trans. Reliab. (2019)
Keyphrases
- static analysis
- source code
- dynamic analysis
- software tools
- symbolic execution
- software developers
- malicious code
- test generation
- test suite
- java card
- software systems
- abstract interpretation
- cellular automata
- test cases
- anomaly detection
- object oriented systems
- open source
- data sets
- regular expressions
- countermeasures
- software architecture
- computer systems
- test data generation
- software development