Login / Signup
A Critical Comparison on Six Static Analysis Tools: Detection, Agreement, and Precision.
Valentina Lenarduzzi
Savanna Lujan
Nyyti Saarimäki
Fabio Palomba
Published in:
CoRR (2021)
Keyphrases
</>
static analysis
dynamic analysis
source code
malicious code
java card
detection method
symbolic execution
high precision
abstract interpretation
regular expressions
object detection
test generation
database
detection algorithm
open source
case study
databases