Broadening Horizons of Multilingual Static Analysis: Semantic Summary Extraction from C Code for JNI Program Analysis.
Sungho LeeHyogun LeeSukyoung RyuPublished in: ASE (2020)
Keyphrases
- static analysis
- source code
- malicious code
- dynamic analysis
- abstract interpretation
- high level
- java card
- regular expressions
- semantic information
- digital libraries
- symbolic execution
- open source
- natural language
- domain specific
- semantic features
- test suite
- test generation
- real world
- domain ontology
- database
- cross language
- cross language information retrieval
- object oriented
- data model