deepstate

deepstate copied to clipboard

Fix Manticore python version problem in Docker

1

``` #5 19.93 Downloading https://files.pythonhosted.org/packages/6c/be/4e32d02bf08b8f76bf6e59f2a531690c1e4264530404501f3489ca975d9a/protobuf-4.21.0-py2.py3-none-any.whl (164kB) #5 20.00 protobuf requires Python '>=3.7' but the running Python is 3.6.9 ``` This prevents just doing a pip install manticore; can be fixed...

agroce

Downgrade Docker 16.04 to upgrade llvm

3

Updates the dockerfile to build with an updated llvm package. Unfortunately this requires that the ubuntu container be downgraded to 16.04 because llvm stopped supporting 18.04 seemingly. There is also...

acpaquette

Use uniform_real_distribution to provide floats in C++

1

Better distribution options, and should be able to take a DeepState_Unsigned factory as a generator...

agroce

Allow tests to read all the variable-size concrete data

2

This PR implements `DeepState_MallocAll` which can be used to read all the concrete data available during fuzzing.

neuromancer

Doesn't seem to create the right call to --input_which_test in the command line: ``` deepstate-afl ./runlen.afl --fuzzer_out --fuzzer_args d --output_test_dir afl_fuzzing --which_test Runlength_EncodeDecode INFO:deepstate:Setting log level from DEEPSTATE_LOG: 2 INFO:deepstate.core.base:Setting...

agroce

The ensembler seems to be broken

5

On latest docker: ``` user@95f3fb5202bd:~/testfs$ deepstate-ensembler --help INFO:deepstate:Setting log level from DEEPSTATE_LOG: 2 Traceback (most recent call last): File "/usr/local/bin/deepstate-ensembler", line 33, in sys.exit(load_entry_point('deepstate==0.1', 'console_scripts', 'deepstate-ensembler')()) File "/usr/local/lib/python3.6/dist-packages/deepstate-0.1-py3.6.egg/deepstate/executors/auxiliary/ensembler.py", line 368,...

agroce

Build fails on macOS with GCC compiler, assembly errors

2

With revision b0b42eb1d49f9e302dbc49e4b4effbe23568e5cd, macOS 11.2.3, brew-installed GCC 10: ``` $ mkdir build $ cd build $ cmake .. -DCMAKE_C_COMPILER=gcc-10 -DCMAKE_CXX_COMPILER=g++-10 -- The C compiler identification is GNU 10.2.0 -- The...

laurynas-biveinis

If I try to bundle DeepState as a git submodule in a project and build it through `add_subdirectory(3rd_party/deepstate)` in the main CMakeLists.txt, the configure step fails with ``` ... CMake...

laurynas-biveinis

mode to create standalone test output automatically [WIP]

8

See #208

agroce

Improved Manticore exploration default policy

2

ggrieco-tob