Skip to content

Issues: mc-imperial/jfs

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Clear current search query, filters, and sorts
34 Open 3 Closed
34 Open 3 Closed
Author
Filter by author
Loading
Label
Filter by label
Loading
Use alt + click/return to exclude labels
or ⇧ + click/return for logical OR
Projects
Filter by project
Loading
Milestones
Filter by milestone
Loading
Assignee
Filter by who’s assigned
Sort
Sort by
Newest Oldest Most commented Least commented Recently updated Least recently updated Best match
Most reactions
👍 👎 😄 🎉 😕 ❤️ 🚀 👀

Issues list

jfs-smt2cxx can't handle all formulas that jfs can bug
#39 opened Dec 7, 2020 by moyix updated Dec 7, 2020
3
EqualityExtractionPass should propagate equalities
#38 opened Jun 11, 2020 by delcypher updated Jun 11, 2020
Is it possible to extend JFS to process string constraints?
#37 opened Sep 17, 2019 by lingjunz updated Oct 3, 2019
1
Submit to SMT-COMP 2020
#36 opened Aug 28, 2019 by jryans updated Aug 28, 2019
Update to the latest Z3 release
#35 opened Aug 28, 2019 by jryans updated Aug 28, 2019
Update to latest LLVM/Clang/LibFuzzer release
#34 opened Aug 28, 2019 by jryans updated Aug 28, 2019
Experiment with optimization levels
#33 opened Aug 28, 2019 by jryans updated Aug 28, 2019
Experiment with inline coverage counters
#32 opened Aug 28, 2019 by jryans updated Aug 28, 2019
Experiment with comparison tracing
#31 opened Aug 28, 2019 by jryans updated Aug 28, 2019
Experiment with LibFuzzer's value profile
#30 opened Aug 28, 2019 by jryans updated Aug 28, 2019
Implement optimal BufferElement packing algorithm for BufferAssignment
#29 opened Aug 28, 2019 by jryans updated Aug 28, 2019
Implement a special case in runtime Buffer reading functions for byte aligned access
#28 opened Aug 28, 2019 by jryans updated Aug 28, 2019
Implement custom LibFuzzer mutators
#27 opened Aug 28, 2019 by jryans updated Aug 28, 2019
Implement parallel fuzzing
#26 opened Aug 28, 2019 by jryans updated Aug 28, 2019
Implement porfolio solver backend
#25 opened Aug 28, 2019 by jryans updated Aug 28, 2019
Extend EqualityExtraction to support equalities with conversions
#24 opened Aug 28, 2019 by jryans updated Aug 28, 2019
Support lowering fp.eq to = in cases that EqualityExtraction can fire
#23 opened Aug 28, 2019 by jryans updated Aug 28, 2019
Implement public C API and library
#22 opened Aug 28, 2019 by jryans updated Aug 28, 2019
Hooks up to KLEE
#21 opened Aug 28, 2019 by jryans updated Aug 28, 2019
Estimate constraint difficulty using #SAT
#20 opened Aug 28, 2019 by jryans updated Aug 28, 2019
Experiment with comparison branch splitting LLVM pass
#18 opened Aug 28, 2019 by jryans updated Aug 28, 2019
JFS's handling of fp.min and fp.max is unsound.
#17 opened Aug 28, 2019 by jryans updated Aug 28, 2019
Platform behaviour divergence when generating seeds
#16 opened Aug 28, 2019 by jryans updated Aug 28, 2019
Minor error in README
#15 opened Apr 21, 2019 by shaobo-he updated Apr 21, 2019
jfs-opt removes relevant commands
#14 opened Mar 26, 2019 by shaobo-he updated Apr 19, 2019
1
ProTip! Find all open issues with in progress development work with linked:pr.