Issues

• jfs-smt2cxx can't handle all formulas that jfs can

  bug
  mc-imperial/jfs#39 · Filter by author moyix opened on Dec 7, 2020
  3

• EqualityExtractionPass should propagate equalities

  mc-imperial/jfs#38 · Filter by author delcypher opened on Jun 11, 2020

• Is it possible to extend JFS to process string constraints?

  mc-imperial/jfs#37 · Filter by author lingjunz opened on Sep 17, 2019
  1

• Submit to SMT-COMP 2020

  mc-imperial/jfs#36 · Filter by author jryans opened on Aug 28, 2019

• Update to the latest Z3 release

  mc-imperial/jfs#35 · Filter by author jryans opened on Aug 28, 2019

• Update to latest LLVM/Clang/LibFuzzer release

  mc-imperial/jfs#34 · Filter by author jryans opened on Aug 28, 2019

• Experiment with optimization levels

  mc-imperial/jfs#33 · Filter by author jryans opened on Aug 28, 2019

• Experiment with inline coverage counters

  mc-imperial/jfs#32 · Filter by author jryans opened on Aug 28, 2019

• Experiment with comparison tracing

  mc-imperial/jfs#31 · Filter by author jryans opened on Aug 28, 2019

• Experiment with LibFuzzer's value profile

  mc-imperial/jfs#30 · Filter by author jryans opened on Aug 28, 2019

• Implement optimal BufferElement packing algorithm for BufferAssignment

  mc-imperial/jfs#29 · Filter by author jryans opened on Aug 28, 2019

• Implement a special case in runtime Buffer reading functions for byte aligned access

  mc-imperial/jfs#28 · Filter by author jryans opened on Aug 28, 2019

• Implement custom LibFuzzer mutators

  mc-imperial/jfs#27 · Filter by author jryans opened on Aug 28, 2019

• Implement parallel fuzzing

  mc-imperial/jfs#26 · Filter by author jryans opened on Aug 28, 2019

• Implement porfolio solver backend

  mc-imperial/jfs#25 · Filter by author jryans opened on Aug 28, 2019

• Extend EqualityExtraction to support equalities with conversions

  mc-imperial/jfs#24 · Filter by author jryans opened on Aug 28, 2019

• Support lowering fp.eq to = in cases that EqualityExtraction can fire

  mc-imperial/jfs#23 · Filter by author jryans opened on Aug 28, 2019

• Implement public C API and library

  mc-imperial/jfs#22 · Filter by author jryans opened on Aug 28, 2019

• Hooks up to KLEE

  mc-imperial/jfs#21 · Filter by author jryans opened on Aug 28, 2019

• Estimate constraint difficulty using #SAT

  mc-imperial/jfs#20 · Filter by author jryans opened on Aug 28, 2019

• Experiment with comparison branch splitting LLVM pass

  mc-imperial/jfs#18 · Filter by author jryans opened on Aug 28, 2019

• JFS's handling of fp.min and fp.max is unsound.

  mc-imperial/jfs#17 · Filter by author jryans opened on Aug 28, 2019

• Platform behaviour divergence when generating seeds

  mc-imperial/jfs#16 · Filter by author jryans opened on Aug 28, 2019

• Minor error in README

  mc-imperial/jfs#15 · Filter by author shaobo-he opened on Apr 21, 2019

• jfs-opt removes relevant commands

  mc-imperial/jfs#14 · Filter by author shaobo-he opened on Mar 26, 2019
  1