Search results

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

bug

Status: Open.

#39 In mc-imperial/jfs;

· moyix opened on Dec 7, 2020

EqualityExtractionPass should propagate equalities

Status: Open.

#38 In mc-imperial/jfs;

· delcypher opened on Jun 11, 2020

Is it possible to extend JFS to process string constraints?

Status: Open.

#37 In mc-imperial/jfs;

· lingjunz opened on Sep 17, 2019

Submit to SMT-COMP 2020

Status: Open.

#36 In mc-imperial/jfs;

· jryans opened on Aug 28, 2019

Update to the latest Z3 release

Status: Open.

#35 In mc-imperial/jfs;

· jryans opened on Aug 28, 2019

Update to latest LLVM/Clang/LibFuzzer release

Status: Open.

#34 In mc-imperial/jfs;

· jryans opened on Aug 28, 2019

Experiment with optimization levels

Status: Open.

#33 In mc-imperial/jfs;

· jryans opened on Aug 28, 2019

Experiment with inline coverage counters

Status: Open.

#32 In mc-imperial/jfs;

· jryans opened on Aug 28, 2019

Experiment with comparison tracing

Status: Open.

#31 In mc-imperial/jfs;

· jryans opened on Aug 28, 2019

Experiment with LibFuzzer's value profile

Status: Open.

#30 In mc-imperial/jfs;

· jryans opened on Aug 28, 2019

Implement optimal BufferElement packing algorithm for BufferAssignment

Status: Open.

#29 In mc-imperial/jfs;

· jryans opened on Aug 28, 2019

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

Status: Open.

#28 In mc-imperial/jfs;

· jryans opened on Aug 28, 2019

Implement custom LibFuzzer mutators

Status: Open.

#27 In mc-imperial/jfs;

· jryans opened on Aug 28, 2019

Implement parallel fuzzing

Status: Open.

#26 In mc-imperial/jfs;

· jryans opened on Aug 28, 2019

Implement porfolio solver backend

Status: Open.

#25 In mc-imperial/jfs;

· jryans opened on Aug 28, 2019

Extend EqualityExtraction to support equalities with conversions

Status: Open.

#24 In mc-imperial/jfs;

· jryans opened on Aug 28, 2019

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

Status: Open.

#23 In mc-imperial/jfs;

· jryans opened on Aug 28, 2019

Implement public C API and library

Status: Open.

#22 In mc-imperial/jfs;

· jryans opened on Aug 28, 2019

Hooks up to KLEE

Status: Open.

#21 In mc-imperial/jfs;

· jryans opened on Aug 28, 2019

Estimate constraint difficulty using #SAT

Status: Open.

#20 In mc-imperial/jfs;

· jryans opened on Aug 28, 2019

Experiment with comparison branch splitting LLVM pass

Status: Open.

#18 In mc-imperial/jfs;

· jryans opened on Aug 28, 2019

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

Status: Open.

#17 In mc-imperial/jfs;

· jryans opened on Aug 28, 2019

Platform behaviour divergence when generating seeds

Status: Open.

#16 In mc-imperial/jfs;

· jryans opened on Aug 28, 2019

Minor error in README

Status: Open.

#15 In mc-imperial/jfs;

· shaobo-he opened on Apr 21, 2019

jfs-opt removes relevant commands

Status: Open.

#14 In mc-imperial/jfs;

· shaobo-he opened on Mar 26, 2019