trailofbits/deepstate

Issues

• The reducer can get stuck in a loop swapping

  #435 opened 8 months ago by agroce
  0

• Bounties?

  #433 opened a year ago by bostick
  2

• Add mode to make integral ranges select extremes of the range when value is not in range

  #422 opened 2 years ago by agroce
  1

• Pattern match on Windows

  #429 opened 2 years ago by FabrizioSandri
  0

• Improve Build Documentation and Process

  #425 opened 2 years ago by agroce
  1

• Add AFLplusplus

  #427 opened 2 years ago by agroce
  0

• Docker Build Fails

  #426 opened 2 years ago by agroce
  1

• Avoiding position-independent executables due to linker error 'Relocation R_X86_64_32S against symbol `DeepState_UsingSymExec` can not be used when making a PIE object'

  #402 opened 2 years ago by Anirban166
  0

• Range conversions can crash reducer

  #401 opened 2 years ago by agroce
  1

• Tests examples fail with "SimSegfaultException" on docker

  #359 opened 2 years ago by rocky01
  9

• Fails run with using docker.

  #390 opened 2 years ago by bkotlowski
  2

• Fix Manticore python version problem in Docker

  #399 opened 2 years ago by agroce
  1

• See if Eclipser can still build by Docker recipe, if so add it back in

  #400 opened 2 years ago by agroce
  1

• Executor failed running [/bin/sh -c bash install_angora.sh $make_j] during setup via Docker

  #397 opened 2 years ago by Anirban166
  3

• `--num_workers` argument not being detected

  #396 opened 2 years ago by Anirban166
  6

• Deprecated use of Setuptools' setup.py-based installations and a requirement of admin-privileges/permissions while installing the DeepState python package

  #395 opened 2 years ago by Anirban166
  0

• Rare crash in DeepState_Setup

  #393 opened 3 years ago by agroce
  1

• Use uniform_real_distribution to provide floats in C++

  #392 opened 3 years ago by agroce
  1

• The Deepstate CI pipeline has been failing for 3 months due to python version issues

  #391 opened 3 years ago by PenelopeFudd
  3

• --which_test for AFL at least seems to not work

  #388 opened 4 years ago by agroce
  0

• The ensembler seems to be broken

  #377 opened 4 years ago by agroce
  5

• DeepState.hpp fails to compile with GCC -O0

  #375 opened 4 years ago by laurynas-biveinis
  3

• Build fails on macOS with GCC compiler, assembly errors

  #387 opened 4 years ago by laurynas-biveinis
  2

• Build fails with GCC compiler on macOS

  #374 opened 4 years ago by laurynas-biveinis
  5

• libfuzzer build ignores DeepState command line args, leaving no way turn down output verbosity

  #376 opened 4 years ago by laurynas-biveinis
  4

• Complete demoting assumption failures

  #385 opened 4 years ago by agroce
  0

• AFL, hongg Fuzzer doesn't create outputdir/sync_dir and outputdir/the_fuzzer

  #363 opened 4 years ago by akhikolla
  1

• Ensembler Crash in Docker

  #348 opened 4 years ago by Travmatth
  2

• --fuzz produces the same test each time unless run with --no_fork

  #383 opened 4 years ago by agroce
  3

• SATISFYING_ASSIGN InRange version can cause UB

  #381 opened 4 years ago by agroce
  1

• InRange macro can trigger UB when it tries to negate MIN_INT

  #379 opened 4 years ago by agroce
  2

• Unable to bundle DeepState through CMake add_subdirectory

  #373 opened 4 years ago by laurynas-biveinis
  0

• Change DeepState_Input access so we don't need to pre-initialize the whole buffer

  #369 opened 4 years ago by agroce
  1

• Adding --fuzzer_args breaks deepstate-afl

  #368 opened 4 years ago by agroce
  3

• Add support for Jackalope

  #366 opened 4 years ago by agroce
  1

• Request for new seed_count argument

  #362 opened 4 years ago by akhikolla
  1

• Cross-platform Consistent PRNG

  #364 opened 4 years ago by agroce
  0

• Issues building Angora

  #361 opened 4 years ago by akhikolla
  0

• Cmake may not detect ar path when building DeepState AFL

  #358 opened 4 years ago by disconnect3d
  0

• warning: function 'DeepState_Run_TestCaseName_TestName' could be declared with attribute 'noreturn'

  #357 opened 4 years ago by disconnect3d
  0

• OneOf Compilation Failed

  #356 opened 5 years ago by akhikolla
  4

• DeepState_RandomGenerators() doesn't generate random inputs

  #353 opened 5 years ago by akhikolla
  1

• fuzz.py swallows fuzzer return status

  #350 opened 5 years ago by jscriven-digimarc
  3

• Fuzzers - DeepState_Malloc leaks memory

  #339 opened 5 years ago by GrosQuildu
  1

• Compiling Test harness - IntegerOverflow

  #344 opened 5 years ago by akhikolla
  5

• Random Fuzzing outputs generated with '?'

  #345 opened 5 years ago by akhikolla
  2

• Docker doesn't build

  #343 opened 5 years ago by akhikolla
  7

• Brut3k1t

  #342 opened 5 years ago by apassenger
  2

• Docker build failing

  #341 opened 5 years ago by GrosQuildu
  0

• Symbolic variables - size limiting

  #338 opened 5 years ago by GrosQuildu
  0