Static Analysis Warnings and Automatic Fixing: A Replication for C# Projects.

Martin Odermatt Diego Marcilio Carlo A. Furia

Published in: SANER (2022)

Keyphrases

static analysis
dynamic analysis
source code
software projects
symbolic execution
case study
regular expressions
java card
malicious code
test generation
software development
semi automatic
project management
abstract interpretation