MirChecker: Detecting Bugs in Rust Programs via Static Analysis.

Zhuohua Li Jincheng Wang Mingshen Sun John C. S. Lui

Published in: CCS (2021)

Keyphrases

static analysis
symbolic execution
source code
dynamic analysis
abstract interpretation
malicious code
test generation
regular expressions
test suite
java card
databases
open source
data sets
api calls
software projects
anomaly detection
xml documents
decision trees