haybale
haybale copied to clipboard
PLSysSec
Symbolic execution of LLVM IR with an engine written in Rust
Perhaps this is just not a supported use case, but do you have any suggestions for analyzing C++ code? I have a fairly small function I'd like to analyze, but...
Hi, Any plan to support LLVM > 14 and implement opaque pointer support ? Thanks, Peter
https://llvm.org/docs/LangRef.html#llvm-ctpop-intrinsic There are [a number of ways to implement this](https://graphics.stanford.edu/~seander/bithacks.html#CountBitsSetNaive), but I haven't looked into which solution would work best with boolector. My assumption is https://graphics.stanford.edu/~seander/bithacks.html#CountBitsSetParallel would be fastest.
Hi, I am curious if you have any thoughts on what it would take to support function pointers which could resolve to multiple target functions. [This line](https://github.com/PLSysSec/haybale/blob/36ffa32043128e95e58a62a18bbcb316e53c2005/src/symex.rs#L1507) seems to be...
Here is a simple c code ``` void foo() { int a = strlen("123");; int b = strlen("123"); } ``` When I test it with `loop_bound`=2, haybale will throw a...
I am executing a function which takes pointer to a following struct. I want to pass a non-null pointer, hence I use `ParameterVal::NonNullPointer`. But it reports a `NullPointerDereference` if I...
