Linking pages
Linked pages
- Herbie: Automatically Improving Floating Point Accuracy http://herbie.uwplse.org 280 comments
- http://theory.stanford.edu/~aiken/publications/papers/asplos13.pdf 28 comments
- http://www.sympy.org/ 24 comments
- egg https://egraphs-good.github.io/ 22 comments
- GitHub - mrphrazer/msynth: Code deobfuscation framework to simplify Mixed Boolean-Arithmetic (MBA) expressions https://github.com/mrphrazer/msynth 6 comments
- https://synthesis.to/2021/11/11/practical_mba_deobfuscation.html 5 comments
- Synthesizing Constants – Embedded in Academia https://blog.regehr.org/archives/1636 1 comment
- GitHub - quarkslab/sspam: Symbolic Simplification with PAttern Matching https://github.com/quarkslab/sspam 0 comments
- [2004.03082] egg: Fast and Extensible Equality Saturation https://arxiv.org/abs/2004.03082 0 comments
- Syntia: Synthesizing the Semantics of Obfuscated Code | USENIX https://www.usenix.org/conference/usenixsecurity17/technical-sessions/presentation/blazytko 0 comments
Related searches:
Search whole site: site:secret.club
Search title: Improving MBA Deobfuscation using Equality Saturation | secret club
See how to search.