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

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