43,317 blogs · 5,519,570 posts Claim your blog

Record · corpus.blog/posts/01a087d7-77c4-7257-8e99-d75d9c35aac1

Code coverage using a dynamic symbolic execution

romainthomas.fr · published 12 October 2015

A record is what was published and who pointed at it. The text of the post is not held here: read it at the source, or at its Wayback capture.

Read the post at romainthomas.fr Wayback capture

0blogs citing

First cited: —
Most recent: —
Rank this month: not ranked
External links: 9
Words captured: 5,698

Cited by

No blog we hold has cited this post yet.

Links from this post

Link

Host

https://shell-storm.org/talks/StHack2015_Dynamic_Behavior_Analysis_using_Binary_Instrumentation_Jonathan_Salwan.pdf

shell-storm.org

https://github.com/JonathanSalwan/Triton/commit/474fe240e66ff6ab3e3501f8d7fc88ce1fcb3ef6

github.com

http://research.microsoft.com/en-us/um/people/pg/public_psfiles/ndss2008.pdf

research.microsoft.com

https://github.com/JonathanSalwan/Triton/blob/c9648bb1b1f7d8a2afef0941ab267dc9387fd91c/tests/test_semantics.py

github.com

https://en.wikipedia.org/wiki/Visitor_pattern

en.wikipedia.org

https://github.com/JonathanSalwan/Triton/blob/c9648bb1b1f7d8a2afef0941ab267dc9387fd91c/src/includes/Z3ast.h

github.com

https://github.com/JonathanSalwan/Triton/blob/c9648bb1b1f7d8a2afef0941ab267dc9387fd91c/src/smt2lib/z3AST.cpp

github.com

https://github.com/JonathanSalwan/Triton/blob/c9648bb1b1f7d8a2afef0941ab267dc9387fd91c/tools/code_coverage.py

github.com

https://github.com/cea-sec/miasm/tree/7ee593d00488e75dadb6edad7ffe5a7dcf6b155d/miasm/expression

github.com