Login / Signup
BinTrimmer: Towards Static Binary Debloating Through Abstract Interpretation.
Nilo Redini
Ruoyu Wang
Aravind Machiry
Yan Shoshitaishvili
Giovanni Vigna
Christopher Kruegel
Published in:
DIMVA (2019)
Keyphrases
</>
abstract interpretation
dynamic analysis
static analysis
termination analysis
reverse engineering
model checking
reasoning engine
active databases
web services
high level
source code
business processes
cost model
active rules