Files

.githooks
cmake
doc
pkg
regression
scripts
src
unit
- analyses
- goto-programs
- java_bytecode
  - inherited_static_fields
  - java_bytecode_convert_class
  - java_bytecode_convert_method
    - ClassUsingOpaqueStaticConstructor.class
    - ClassWithConstructors.class
    - ClassWithStaticConstructor.class
    - ClassWithoutConstructors.class
    - DummyClassLoadingOpaqueClass.class
    - ExampleConstructors.java
    - StaticClassUsingOpaqueStaticConstructor.class
    - convert_initalizers.cpp
  - java_bytecode_parse_generics
  - java_bytecode_parser
  - java_object_factory
  - java_string_library_preprocess
  - java_types
  - java_virtual_functions
  - expr2java.cpp
  - java_utils_test.cpp
- pointer-analysis
- solvers
- testing-utils
- util
- .gitignore
- CMakeLists.txt
- Makefile
- catch_example.cpp
- cpp_parser.cpp
- cpp_scanner.cpp
- elf_reader.cpp
- float_utils.cpp
- ieee_float.cpp
- json.cpp
- miniBDD.cpp
- miniBDD_new.cpp
- osx_fat_reader.cpp
- sharing_map.cpp
- sharing_node.cpp
- smt2_parser.cpp
- string_utils.cpp
- unicode.cpp
- unit_tests.cpp
- wp.cpp
- wp_in1.c
.clang-format
.dir-locals.el
.editorconfig
.gitattributes
.gitignore
.travis.yml
CHANGELOG
CMakeLists.txt
CODEOWNERS
CODING_STANDARD.md
COMPILING.md
LICENSE
README.md
appveyor.yml
buildspec.yml