Sign in
Exposing Vulnerable Paths: Enhance Static Analysis with Lightweight Symbolic Execution.
Guangwei Li
Ting Yuan
Jie Lu
Lian Li
Xiaobin Zhang
Xu Song
Kejun Zhang
Published in:
APSEC (2021)
Keyphrases
</>
lightweight
symbolic execution
static analysis
dynamic analysis
source code
test generation
regular expressions
rfid tags
test suite
wireless sensor networks
communication infrastructure
open source
mashup
development environments