Commits

Branch selector

 master

User selector

afd

Datepicker

All time

Commit History

Commits on Sep 5, 2019

• Document using Docker image.

  afd

  committed
  d38b368

  Copy full SHA for d38b368

• Add links to FSE2019 paper resources.

  afd

  committed
  94515fb

  Copy full SHA for 94515fb

Commits on Aug 31, 2019

• Change acronym for JFS. It was originally "JIT Fuzzing Solver" but

  Show description for f6238e4
  afd

  committed
  f6238e4

  Copy full SHA for f6238e4

Commits on Aug 28, 2019

• Add some missing tests.

  afd

  committed
  9272cd1

  Copy full SHA for 9272cd1

• Add stats for SpecialConstantSeedGenerator.

  afd

  committed
  a9aea34

  Copy full SHA for a9aea34

• Add SeedGenerator::postGenerationCallBack(...) that the SeedGenerator

  Show description for 3895818
  afd

  committed
  3895818

  Copy full SHA for 3895818

• Add a smart seed Linux generation test.

  afd

  committed
  e71f4a5

  Copy full SHA for e71f4a5

• Add UBSan libstdc++ pointer alginment suppression and also halt

  Show description for a2ebfdf
  afd

  committed
  a2ebfdf

  Copy full SHA for a2ebfdf

• Fix heap overflow bug reported by ASan.

  Show description for 5a58d30
  afd

  committed
  5a58d30

  Copy full SHA for 5a58d30

• Disable

  Show description for 2507528
  afd

  committed
  2507528

  Copy full SHA for 2507528

• Fix -seed= option parsing. LLVM's llvm::cl::opt<> class doesn't

  Show description for 72dd1bc
  afd

  committed
  72dd1bc

  Copy full SHA for 72dd1bc

• Fix warning about unused success variable and instead emit an

  Show description for 833b58a
  afd

  committed
  833b58a

  Copy full SHA for 833b58a

• Introduce static methods to generate some special floating point

  Show description for d0c478d
  afd

  committed
  d0c478d

  Copy full SHA for d0c478d

• Fix bug in FreeVariableToBufferAssignmentPass when trying to use

  Show description for 0973b6c
  afd

  committed
  0973b6c

  Copy full SHA for 0973b6c

• To aid debugging also write the satisfiability result to the debug

  Show description for 33c8793
  afd

  committed
  33c8793

  Copy full SHA for 33c8793

• For try-all and try-all-imncsf branch encodings emit code to update

  Show description for 1530678
  afd

  committed
  1530678

  Copy full SHA for 1530678

• Refactor code that adds a check for an increase in the maximum number of

  Show description for 5da795b
  afd

  committed
  5da795b

  Copy full SHA for 5da795b

• Add a hack to make possible to run tests like

  Show description for 7676328
  afd

  committed
  7676328

  Copy full SHA for 7676328

• Mark some model generation tests as requiring LibFuzzer. It seems

  Show description for 7eb2d7c
  afd

  committed
  7eb2d7c

  Copy full SHA for 7eb2d7c

• Fix CXXFuzzingBackend/Fuzz/models/simple/empty.smt2 test when using

  Show description for 2780329
  afd

  committed
  2780329

  Copy full SHA for 2780329

• Add SimpleModel which simply starts as an empty model and use that

  Show description for 01b8151
  afd

  committed
  01b8151

  Copy full SHA for 01b8151

• Perform model validation by default in system tests.

  afd

  committed
  3f90b56

  Copy full SHA for 3f90b56

• Fix bug in FuzzingSolverImpl::solve() where model conversion was

  Show description for 34220d8
  afd

  committed
  34220d8

  Copy full SHA for 34220d8

• Fix bug in EqualityExtractionPass::convertModel() where the wrong

  Show description for 66d2cac
  afd

  committed
  66d2cac

  Copy full SHA for 66d2cac

• Allow -validate-models to specified more than once on the command

  Show description for 18b5b4d
  afd

  committed
  18b5b4d

  Copy full SHA for 18b5b4d

• Fix bug in EqualityExtractionPass::convertModel() where the case where

  Show description for 1490d70
  afd

  committed
  1490d70

  Copy full SHA for 1490d70

• Fix bug in Z3Backend where Z3Model had its own z3Model instance that

  Show description for a8a457a
  afd

  committed
  a8a457a

  Copy full SHA for a8a457a

• Add lit parameter jfs_validate_models which when set to 1 will

  Show description for 95b2dd3
  afd

  committed
  95b2dd3

  Copy full SHA for 95b2dd3

• Implement ModelValidator and add the -validate-model command line flag

  Show description for 01a211f
  afd

  committed
  01a211f

  Copy full SHA for 01a211f

Commits on Jun 16, 2018

• Add missing declaration of deleted move assignment operator.

  afd

  committed
  0c412bd

  Copy full SHA for 0c412bd

• Fix Clang warning.

  Show description for 498a7a1
  afd

  committed
  498a7a1

  Copy full SHA for 498a7a1

• Implement model conversion in query passes.

  Show description for e29e893
  afd

  committed
  e29e893

  Copy full SHA for e29e893

Commits on Jun 15, 2018

• Add empty model generation support in FuzzingSolver.

  afd

  committed
  346251f

  Copy full SHA for 346251f

• Add a few crude test cases to test reading LibFuzzer found inputs from

  Show description for 1e7dda0
  afd

  committed
  1e7dda0

  Copy full SHA for 1e7dda0

• Fix division by zero bug in SeedManager where we didn't handle the

  Show description for ac148da
  afd

  committed
  ac148da

  Copy full SHA for ac148da

Pagination

Previous

Next