vorbis integration with KLEE
Open
fuzzer blocker
- Dominant language
- Python
- Stars
- 1.2k
- Forks
- 302
- PR merge metrics
- No merged PRs in 30d
Description
vorbis benchmark properly compiles for KLEE.
Running it throws `LLVM ERROR: Code generator does not support intrinsic function 'llvm.rint.f64'!`, because floating points are not handled by KLEE.
Info about `llvm.rint.f64`: see https://llvm.org/docs/LangRef.html#llvm-rint-intrinsic
Not sure what the best option is:
1. Look at [klee-float](https://srg.doc.ic.ac.uk/projects/klee-float/) for inspiration?
2. Add an intrinsic to [IntrinsicCleaner.cpp](https://github.com/klee/klee/blob/master/lib/Module/IntrinsicCleaner.cpp).
useful links: [klee:issue:1091](https://github.com/klee/klee/issues/1091) and [klee:issue:1154](https://github.com/klee/klee/issues/1154)
Contributor guide
Assessment
This issue has not been assessed yet.