Login / Signup
Custom static analysis to enhance insight into the usage of in-house libraries.
Piërre van de Laar
Rosilde Corvino
Arjan J. Mooij
Hans van Wezep
Raymond Rosmalen
Published in:
J. Syst. Softw. (2024)
Keyphrases
</>
static analysis
dynamic analysis
source code
malicious code
java card
symbolic execution
domain specific
regular expressions
api calls
abstract interpretation
digital libraries
test generation
open source
operating system
test suite
integrity constraints
relational databases