Login / Signup
InfERL: scalable and extensible Erlang static analysis.
Ákos Hajdu
Matteo Marescotti
Thibault Suzanne
Ke Mao
Radu Grigore
Per Gustafsson
Dino Distefano
Published in:
Erlang Workshop (2022)
Keyphrases
</>
static analysis
dynamic analysis
source code
java card
symbolic execution
regular expressions
abstract interpretation
highly flexible
malicious code
markup language
test generation
data model
data types
object oriented
programming language
measurement data