scholarly journals QSynth - A Program Synthesis based approach for Binary Code Deobfuscation

2020 ◽  
Author(s):  
Robin David ◽  
Luigi Coniglio ◽  
Mariano Ceccato
Keyword(s):  
Binary Code ◽  
Program Synthesis

A program understanding approach for stripped binary code

2009 ◽  
Vol 28 (10) ◽  
pp. 2608-2612
Author(s):  
Juan-ru LI ◽  
Da-wu GU ◽  
Hai-ning LU
Keyword(s):  
Binary Code ◽  
Program Understanding

scholarly journals Accelerating search-based program synthesis using learned probabilistic models

2018 ◽  
Vol 53 (4) ◽  
pp. 436-449 ◽  
Author(s):  
Woosuk Lee ◽  
Kihong Heo ◽  
Rajeev Alur ◽  
Mayur Naik
Keyword(s):  
Probabilistic Models ◽  
Program Synthesis

scholarly journals SIGMA: A Semantic Integrated Graph Matching Approach for identifying reused functions in binary code

2015 ◽  
Vol 12 ◽  
pp. S61-S71 ◽  
Author(s):  
Saed Alrabaee ◽  
Paria Shirani ◽  
Lingyu Wang ◽  
Mourad Debbabi
Keyword(s):  
Binary Code ◽  
Graph Matching

FlashMeta: a framework for inductive program synthesis

2015 ◽  
Vol 50 (10) ◽  
pp. 107-126 ◽  
Author(s):  
Oleksandr Polozov ◽  
Sumit Gulwani
Keyword(s):  
Program Synthesis
Sign in / Sign up

Export Citation Format

Share Document