Commits

Branch selector

 1e7dda0

User selector

All users

Datepicker

All time

Commit History

Commits on Jun 15, 2018

• 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

• Add some basic tests for model generation without any optimisations.

  afd

  committed
  84c2daa

  Copy full SHA for 84c2daa

Commits on Jun 5, 2018

• Start implementing support for taking LibFuzzer inputs and converting

  Show description for 3cdbb62
  afd

  committed
  3cdbb62

  Copy full SHA for 3cdbb62

Commits on May 25, 2018

• Start to make changes to jfs::core::Model in preparation for making

  Show description for cdaa38e
  afd

  committed
  cdaa38e

  Copy full SHA for cdaa38e

• Move BufferElement and BufferAssignment to their own header

  Show description for 04e50b3
  afd

  committed
  04e50b3

  Copy full SHA for 04e50b3

Commits on May 10, 2018

• Mark try-all-imncsf test as Linux only

  

  jryans

  authored and

  delcypher

  committed
  12f5c4f

  Copy full SHA for 12f5c4f

• Adjust tests for macOS wc with leading spaces

  

  jryans

  authored and

  delcypher

  committed
  dd8d4e4

  Copy full SHA for dd8d4e4

Commits on May 8, 2018

• Add missing lib/Support/ICancellable.cpp file that was supposed to be

  Show description for eac9f08
  afd

  committed
  eac9f08

  Copy full SHA for eac9f08

Commits on May 3, 2018

• Add stubs for JFS documentation and a basic tutorial.

  afd

  committed
  c1001cc

  Copy full SHA for c1001cc

• Improve the debug output of the BufferAssignment.

  afd

  committed
  b9f772a

  Copy full SHA for b9f772a

• Remove some deadcode.

  afd

  committed
  451d8b2

  Copy full SHA for 451d8b2

• Add support for running a fixed number of fuzzing iterations and expose

  Show description for 31f0fea
  afd

  committed
  31f0fea

  Copy full SHA for 31f0fea

• Fix a bunch of Clang warnings about non virtual destructors.

  afd

  committed
  2f9ad0a

  Copy full SHA for 2f9ad0a

• Move the free variable sort strategy into FreeVariableToBufferAssignmentPassOptions.

  Show description for 8d85eb4
  afd

  committed
  8d85eb4

  Copy full SHA for 8d85eb4

• Implement support for customising the byte alignment of

  Show description for fb72cc1
  afd

  committed
  fb72cc1

  Copy full SHA for fb72cc1

• Add APIs that distiguish between the type (does not include padding) and

  Show description for de7c646
  afd

  committed
  de7c646

  Copy full SHA for de7c646

• Fix bug where special floating point constants passed to the

  Show description for 9969370
  afd

  committed
  9969370

  Copy full SHA for 9969370

• Add test for unsupported bitvector size.

  afd

  committed
  06f677d

  Copy full SHA for 06f677d

• Provide better warning when unsupported float is encountered.

  afd

  committed
  5af4ed9

  Copy full SHA for 5af4ed9

• Silence clang warning

  afd

  committed
  0dcc7cb

  Copy full SHA for 0dcc7cb

• Introduce SeedManager which consumes SeedGenerators which create

  Show description for c775c81
  afd

  committed
  c775c81

  Copy full SHA for c775c81

• Teach BufferAissgnment to cache its width (so clients don't have to)

  Show description for b0a295a
  afd

  committed
  b0a295a

  Copy full SHA for b0a295a

• Start adding support for model generation. This can be enabled with

  Show description for a89148a
  afd

  committed
  a89148a

  Copy full SHA for a89148a

• Hack flakey test. We really need to switch away from time based tests.

  afd

  committed
  3f71be6

  Copy full SHA for 3f71be6

• Refactor Z3Model and Model classes in preparation for proper model

  Show description for f567eed
  afd

  committed
  f567eed

  Copy full SHA for f567eed

• Change includes to remove some unnecessary includes in the header files.

  afd

  committed
  b291aee

  Copy full SHA for b291aee

• Add reporting of wrong sized input via the new

  Show description for 275c704
  afd

  committed
  275c704

  Copy full SHA for 275c704

• Patch LibFuzzer to fix fundemental problem in the way mutations are

  Show description for 5f55717
  afd

  committed
  5f55717

  Copy full SHA for 5f55717

• Tweak LibFuzzer's MutationDispatcher::Mutate_CopyPart mutation.

  Show description for 8a95ab6
  afd

  committed
  8a95ab6

  Copy full SHA for 8a95ab6

• Disable LibFuzzer's input reduction because it doesn't make sense

  Show description for e1240d2
  afd

  committed
  e1240d2

  Copy full SHA for e1240d2

• Implement reporting of when the maximum number of solved constraints

  Show description for 26f61e5
  afd

  committed
  26f61e5

  Copy full SHA for 26f61e5

• Add missing header define

  afd

  committed
  eb62106

  Copy full SHA for eb62106

• Implement the try-all-imncsf branch encoding (Cadar encoding).

  afd

  committed
  fbf5cee

  Copy full SHA for fbf5cee

• Implement try-all branching encoding (Serebryany encoding) and leave

  Show description for 52c82f4
  afd

  committed
  52c82f4

  Copy full SHA for 52c82f4

Pagination

Previous

Next