BEC: Bit-Level Static Analysis for Reliability against Soft Errors.

Yousun Ko Bernd Burgstaller

Published in: CGO (2024)

Keyphrases

static analysis
dynamic analysis
source code
error detection
symbolic execution
malicious code
java card
regular expressions
test suite
data sets
databases
knowledge base
abstract interpretation