Endicheck: Dynamic Analysis for Detecting Endianness Bugs.

Roman Kápl Pavel Parízek

Published in: TACAS (2) (2020)

Keyphrases

dynamic analysis
static analysis
reverse engineering
source code
regular expressions
abstract interpretation
malicious behavior
model checking
object oriented
software systems
automatic detection
security vulnerabilities
test suite
database
wireless sensor networks
multiscale
information retrieval
real time