PLSysSec / haybale

Symbolic execution of LLVM IR with an engine written in Rust

PLSysSec/haybale Issues

Analyzing C++ code
Updated 6 months ago
LLVM > 14 and opaque pointer support
Updated 7 months ago
Stack overflow in infinite loop
Closed a year ago3
Opaque pointer type on llvm-13 causes segmentation fault
Closed a year ago1
Missing support for llvm.ctpop.* intrinsics
Updated a year ago
Function pointer multiple dispatch
Updated 2 years ago
LLVM unreachable instruction
Closed 2 years ago7
Unknown `NullPointerDereference` error caused by `store`
Closed 2 years ago2
Are there any methods provided by haybale for constraining certain variables?
Closed 2 years ago7
error-handled `loop_bound`
Updated 2 years ago4
Can we run symbolic execution with haybale in multiple threads?
Closed 2 years ago2
eBPF code input
Closed 3 years ago2
Can't compile haybale
Closed 3 years ago3
rust version 1.51.0 can't compile haybale
Closed 3 years ago2
Viewing path through non-inlined function in another crate
Closed 4 years ago12
Docs do not build for 0.6.2
Closed 4 years ago5
LLVM AtomicRMW Instruction
Closed 4 years ago3
panicked at: 'Not sure how to get the size of VoidType'
Closed 4 years ago2
Boolector failures for functions that return 0 length slices
Closed 4 years ago5
Missing support for llvm.ctlz.i32 intrinsic
Closed 4 years ago2
assert failures for code compiled for 32 bit platforms
Closed 4 years ago7
C bindings
Closed 4 years ago2
Trouble analyzing basic Rust programs
Closed 4 years ago3
Request for Instruction (UnsupportedInstruction) `llvm.bswap with argument type VectorType`
Closed 4 years ago1
`UnsupportedInstruction`: encountered an LLVM instruction which is not currently supported: terminator Invoke
Closed 4 years ago6