VMF 3.1.0 release

.gitignore

@@ -8,6 +8,7 @@
 */VaderWin/.vs/*
 out/
 output/
+!vmf/src/coremodules/*/output/
 output_test/
 x64/
 classes/

CMakeLists.txt

@@ -48,7 +48,7 @@ set(CMAKE_CXX_COMPILER g++)
 #https://stackoverflow.com/questions/61278099/using-stdthread-in-shared-library-causes-sigsegv
 set(CMAKE_CXX_FLAGS -Wl,--no-as-needed)
 
-project(Vader VERSION 2.0
+project(Vader VERSION 3.1.0
     LANGUAGES CXX)
 
 set(CMAKE_MODULE_PATH ${PROJECT_SOURCE_DIR}/vmf/cmake)
@@ -74,7 +74,7 @@ target_include_directories(vader PRIVATE
   ${PROJECT_SOURCE_DIR}/vmf/src/framework/baseclasses
   ${PROJECT_SOURCE_DIR}/vmf/src/framework/app
   ${PROJECT_SOURCE_DIR}/vmf/src/coremodules/common/formatter
-  ${PROJECT_SOURCE_DIR}/vmf/src/coremodules/common/initilization
+  ${PROJECT_SOURCE_DIR}/vmf/src/coremodules/common/initialization
   ${PROJECT_SOURCE_DIR}/vmf/src/coremodules/common/inputgeneration
   ${PROJECT_SOURCE_DIR}/vmf/src/coremodules/common/mutator
   ${PROJECT_SOURCE_DIR}/vmf/src/coremodules/common/output
@@ -133,11 +133,17 @@ INSTALL(DIRECTORY test DESTINATION
   PATTERN "*.cpp" EXCLUDE
   PATTERN "*.txt" EXCLUDE
   PATTERN "haystack" EXCLUDE
+  PATTERN "setup_jerryscript" EXCLUDE
   PATTERN "test_only" EXCLUDE
   PATTERN "test_only/*" EXCLUDE
   PATTERN "unittest" EXCLUDE
 )
 
+#install data directory
+INSTALL(DIRECTORY data DESTINATION 
+  DESTINATION ${CMAKE_INSTALL_PREFIX}
+)
+
 #install haystack example executable
 file (COPY test/haystackSUT/haystack
 DESTINATION ${CMAKE_INSTALL_PREFIX}/test/haystackSUT

Dockerfile

@@ -14,7 +14,8 @@ RUN lsb_release -a | grep -q "18.04" && ( \
       echo "deb http://apt.llvm.org/bionic/ llvm-toolchain-bionic-12 main" >> /etc/apt/sources.list && \
       curl -L https://apt.llvm.org/llvm-snapshot.gpg.key | apt-key add - \
     ) || \
-    (lsb_release -a | grep -q "20.04") || (echo "Ubuntu 18.04 or 20.04 required!!!" >&2; exit 1)
+    (lsb_release -a | grep -q "20.04") || \
+    (lsb_release -a | grep -q "22.04") || (echo "Ubuntu 18.04, 20.04, or 22.04 required!!!" >&2; exit 1)
 
 RUN  apt-get update \
      && DEBIAN_FRONTEND=noninteractive apt-get install -y --no-install-recommends --fix-missing \

Dockerfile.klee

@@ -14,7 +14,8 @@ RUN lsb_release -a | grep -q "18.04" && ( \
       echo "deb http://apt.llvm.org/bionic/ llvm-toolchain-bionic-12 main" >> /etc/apt/sources.list && \
       curl -L https://apt.llvm.org/llvm-snapshot.gpg.key | apt-key add - \
     ) || \
-    (lsb_release -a | grep -q "20.04") || (echo "Ubuntu 18.04 or 20.04 required!!!" >&2; exit 1)
+    (lsb_release -a | grep -q "20.04") || \
+    (lsb_release -a | grep -q "22.04") || (echo "Ubuntu 18.04, 20.04, or 22.04 required!!!" >&2; exit 1)
 
 RUN  apt-get update \
      && DEBIAN_FRONTEND=noninteractive apt-get install -y --no-install-recommends --fix-missing \

README.md

@@ -13,14 +13,14 @@
 
 In the past, it was necessary to initialize submodules containing build dependencies.  This is only
 necessary now if you need to build those dependencies.  You can get started with VMF without this step,
-as long as you have a standard Ubuntu 18.04 or 20.04 distribution of Linux.  
+as long as you have a standard Ubuntu 18.04, 20.04, or 22.04 distribution of Linux.  
 
 See [external](external/README.md) and [submodules](submodules/README.md) for details.  See
 [docs/external_projects.md/#klee](docs/external_projects.md/#klee) for more information on klee installation.
 
 ### VMF Compatibility
 
-As of now, VMF can be run on the Ubuntu 18.04 or 20.04 distributions of Linux, or in Docker.
+As of now, VMF can be run on the Ubuntu 18.04, 20.04, and 22.04 distributions of Linux, or in Docker.
 
 For more information about VMF's dependencies, and the included packages, see
 [External Projects](docs/external_projects.md)
@@ -33,8 +33,9 @@ If you are new to fuzzing, read these documents:
  - [Intro to Fuzzing](docs/intro_to_fuzzing.md): A basic overview of what fuzzing is and how it works.
  - [Glossary](docs/glossary.md): Definitions for common fuzzing & VMF terminology.
 
-If you want to use VMF to fuzz your own SUT, read this document:
+If you want to use VMF to fuzz your own System Under Test (SUT), read these documents:
  - [Getting Started with VMF](docs/getting_started.md): More details on running VMF and creating configuration files.
+ - [Core Modules](docs/coremodules/core_modules_readme.md): More details on the provided VMF core modules.
 
 If you want to use VMF in distributed mode, with multiple VMF instances working together to fuzz a SUT, read this document:
 - [Getting Started with Distributed Fuzzing](docs/distributed_fuzzing.md): How to setup and run in distributed mode.
@@ -114,6 +115,6 @@ In order to build VMF, the packages mentioned in the `Installed Packages` sectio
 
 ## License
 
-VMF is licensed under GNU General Public License Version 3
+VMF is licensed under GNU General Public License Version 2
 See [LICENSE](LICENSE)