Login / Signup
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