Machine-learning-guided selectively unsound static analysis.
Kihong HeoHakjoo OhKwangkeun YiPublished in: ICSE (2017)
Keyphrases
- static analysis
- machine learning
- dynamic analysis
- source code
- malicious code
- symbolic execution
- machine learning algorithms
- learning algorithm
- regular expressions
- artificial intelligence
- decision trees
- machine learning methods
- databases
- text mining
- information extraction
- data sets
- data analysis
- feature selection
- java card
- data mining
- abstract interpretation
- natural language processing
- training data
- test generation