Login / Signup
Efficient vulnerability detection based on an optimized rule-checking static analysis technique.
Deng Chen
Yanduo Zhang
Wei Wei
Shixun Wang
Rubing Huang
Xiao-Lin Li
Binbin Qu
Sheng Jiang
Published in:
Frontiers Inf. Technol. Electron. Eng. (2017)
Keyphrases
</>
static analysis
dynamic analysis
object detection
case study
detection algorithm
java card
database
databases
association rules
domain knowledge
source code
detection method
pattern matching
active databases
symbolic execution
abstract interpretation