Search code examples
Angr unconstrained state has the same address as a found state...

assemblyreverse-engineeringctfsymbolic-executionangr

Read More
"Not enough data for store" while solving Angr CTF example...

assemblyreverse-engineeringctfsymbolic-executionangr

Read More
Is there a trade-off between pruning in symbolic execution and coverage as well as the final detecti...

symbolic-execution

Read More
How can I translate z3::expr(bv_val) into a bit representation of a number?...

c++z3symbolic-execution

Read More
Why IR is needed for symbolic execution?...

kleesymbolic-execution

Read More
Is this how to test a stateful API with klee symbolic execution?...

ctestingkleesymbolic-execution

Read More
How to annotate a program to detect dead-code with z3-solver?...

code-coveragez3z3pydead-codesymbolic-execution

Read More
How is Symbolic Execution different from Whitebox Fuzzing?...

fuzzingwhite-box-testingsymbolic-execution

Read More
Why is this Symbolic Execution with Z3 resulting in an error?...

cz3static-analysissymbolic-execution

Read More
Analyzing firmware file with angr...

firmwarefuzzingangrsymbolic-execution

Read More
Symbolic `show` for `SInt16`...

haskellsbvsymbolic-execution

Read More
How do I debug missing variables from SMT-Lib output?...

haskellsmtsbvsymbolic-execution

Read More
Out-of-bounds `select` even though I `constrain` the index...

haskellsmtsbvsymbolic-execution

Read More
Efficient way to "keep turning the crank" on a stateful computation...

haskellsmtsbvsymbolic-execution

Read More
In concolic testing, what does "concrete execution" mean?...

testingexecutionformal-verificationsymbolic-execution

Read More
What a Symbolic Model Looks Like...

logicformal-verificationmodel-checkingsymbolic-execution

Read More
what is this sequence of chars in symbolic execution?...

arrayscharsmtangrsymbolic-execution

Read More
tools for symbolic execution on binaries...

llvmllvm-irkleesymbolic-execution

Read More
error detection in static analysis and symbolic execution...

testingstatic-analysisverificationsymbolic-execution

Read More
implement symbolic execution without model-checking...

testingverificationmodel-checkingsymbolic-execution

Read More
application of symbolic execution...

validationtestingverificationsymbolic-execution

Read More
symbolic execution and model-checking...

validationverificationmodel-checkingmodel-drivensymbolic-execution

Read More
BackNext