Files

.githooks
cmake
doc
pkg
regression
scripts
src
unit
- analyses
- goto-programs
- java_bytecode
  - generate_concrete_generic_type
  - java_bytecode_convert_class
  - java_bytecode_parse_generics
    - AbstractGeneric.class
    - AbstractGeneric.java
    - BoundedGenericClasses.java
    - BoundedGenericInnerClasses$BoundedInner.class
    - BoundedGenericInnerClasses$DoubleBoundedInner.class
    - BoundedGenericInnerClasses$Inner.class
    - BoundedGenericInnerClasses$TwoElementInner.class
    - BoundedGenericInnerClasses.class
    - BoundedGenericInnerClasses.java
    - C.class
    - DerivedGenericInst.class
    - DerivedGenericInst.java
    - DerivedGenericUninst.class
    - DerivedGenericUninst.java
    - FunctionsWithGenerics$Inner.class
    - FunctionsWithGenerics.class
    - FunctionsWithGenerics.java
    - Generic.class
    - Generic.java
    - GenericArray.class
    - GenericArray.java
    - GenericClassWithGenericInnerClasses$GenericInnerClass$DoublyNestedInnerClass.class
    - GenericClassWithGenericInnerClasses$GenericInnerClass$DoublyNestedInnerGenericClass.class
    - GenericClassWithGenericInnerClasses$GenericInnerClass.class
    - GenericClassWithGenericInnerClasses$InnerClass.class
    - GenericClassWithGenericInnerClasses$SameGenericParamInnerClass.class
    - GenericClassWithGenericInnerClasses$TwoParamInnerClass.class
    - GenericClassWithGenericInnerClasses.class
    - GenericClassWithGenericInnerClasses.java
    - GenericClassWithInnerClasses$GenericInner$GenericInnerInner.class
    - GenericClassWithInnerClasses$GenericInner.class
    - GenericClassWithInnerClasses$Inner$InnerInner.class
    - GenericClassWithInnerClasses$Inner.class
    - GenericClassWithInnerClasses$StaticInner.class
    - GenericClassWithInnerClasses.class
    - GenericClassWithInnerClasses.java
    - GenericFields.class
    - GenericFields.java
    - GenericFunctions.class
    - GenericFunctions.java
    - GenericTwoParam.class
    - GenericTwoParam.java
    - I.class
    - Interface.class
    - Interface.java
    - Interface_Copy.class
    - Interface_Copy.java
    - Interface_Implementation.class
    - Interface_Implementation.java
    - Interface_Implementation_Derived.class
    - Interface_Implementation_Derived.java
    - NestedGenerics.class
    - NestedGenerics.java
    - RecursiveGeneric.class
    - RecursiveGeneric.java
    - RecursiveGeneric_Derived.class
    - RecursiveGeneric_Derived.java
    - SignatureDescriptorMismatch$Inner.class
    - SignatureDescriptorMismatch$InnerEnum.class
    - SignatureDescriptorMismatch.class
    - SignatureDescriptorMismatch.java
    - WildcardGenericFunctions.class
    - WildcardGenericFunctions.java
    - class_bound.class
    - interface_bound.class
    - parse_bounded_generic_inner_classes.cpp
    - parse_derived_generic_class.cpp
    - parse_functions_with_generics.cpp
    - parse_generic_array_class.cpp
    - parse_generic_class.cpp
    - parse_generic_class_with_generic_inner_classes.cpp
    - parse_generic_class_with_inner_classes.cpp
    - parse_generic_fields.cpp
    - parse_generic_functions.cpp
    - parse_generic_wildcard_function.cpp
    - parse_nested_generics.cpp
    - parse_recursive_generic_class.cpp
    - parse_signature_descriptor_mismatch.cpp
  - java_object_factory
  - java_string_library_preprocess
  - 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