Curated security research, vulnerabilities, advisories and tools for practitioners.

#symbolic-execution

Security coverage tagged symbolic-execution. (Page 2)

31.

Magic with Manticore

vulnerability | 2017-05-15 11:50 | blog.trailofbits.com | original ↗ | #automation | #ctf | #reverse-engineering

32.

Manticore: Symbolic execution for humans

blog | 2017-04-27 04:00 | blog.trailofbits.com | original ↗ | #open-source | #binary-analysis | #instrumentation

33.

Arybo: cleaning obfuscation by playing with mixed boolean and arithmetic operations

research | 2016-09-11 22:00 | blog.quarkslab.com | original ↗ | #python | #mba | #symbolic-execution

34.

A fuzzer and a symbolic executor walk into a cloud

blog | 2016-08-02 11:50 | blog.trailofbits.com | original ↗ | #cloud | #fuzzing | #darpa

35.

Triton under the hood

research | 2015-06-09 22:00 | blog.quarkslab.com | original ↗ | #reverse-engineering | #binary-analysis | #symbolic-execution

36.

Deobfuscation: recovering an OLLVM-protected program

research | 2014-12-03 23:00 | blog.quarkslab.com | original ↗ | #reverse-engineering | #obfuscation | #symbolic-execution

37.

Close Encounters with Symbolic Execution (Part 2)

blog | 2014-12-04 13:50 | blog.trailofbits.com | original ↗ | #reverse-engineering | #llvm | #darpa

38.

Close Encounters with Symbolic Execution

blog | 2014-11-25 13:50 | blog.trailofbits.com | original ↗ | #darpa | #program-analysis | #symbolic-execution