Improving Static Analysis Performance Using Rule-Filtering Technique.
Deng ChenRubing HuangBinbin QuSheng JiangPublished in: SEKE (2014)
Keyphrases
- static analysis
- dynamic analysis
- source code
- symbolic execution
- abstract interpretation
- java card
- malicious code
- regular expressions
- test suite
- database
- production rules
- active databases
- association rules
- test generation
- real world
- data sets
- information extraction
- semi automatic
- domain knowledge
- query processing
- case study
- artificial intelligence