Files

.githooks
cmake
doc
jbmc
- regression
  - janalyzer-taint
  - jbmc-concurrency
  - jbmc-cover
  - jbmc-generics
  - jbmc-inheritance
  - jbmc-strings
    - CharacterGetNumericValue
    - NondetStringBuilderAndBuffer
    - RegexMatches01
    - RegexMatches02
    - RegexSubstitution01
    - RegexSubstitution02
    - RegexSubstitution03
    - StartsWith
    - StaticCharMethods01
    - StaticCharMethods02
    - StaticCharMethods03
    - StaticCharMethods04
    - StaticCharMethods05
    - StaticCharMethods06
    - StringArray
    - StringBuilderAppend01
    - StringBuilderAppend02
    - StringBuilderCapLen01
    - StringBuilderCapLen02
    - StringBuilderCapLen03
    - StringBuilderCapLen04
    - StringBuilderChars01
    - StringBuilderChars02
    - StringBuilderChars03
    - StringBuilderChars04
    - StringBuilderChars05
    - StringBuilderChars06
    - StringBuilderConstructors01
    - StringBuilderConstructors02
    - StringBuilderInsert
    - StringBuilderInsertDelete01
    - StringBuilderInsertDelete02
    - StringBuilderInsertDelete03
    - StringCompare01
    - StringCompare02
    - StringCompare03
    - StringCompare04
    - StringCompare05
    - StringConcat
    - StringConcat_StringII
    - StringConcatenation01
    - StringConcatenation02
    - StringConcatenation03
    - StringConcatenation04
    - StringConstructors01
    - StringConstructors02
    - StringConstructors03
    - StringConstructors04
    - StringConstructors05
    - StringContains01
    - StringContains02
    - StringContains03
    - StringDependencies
    - StringEquals
    - StringIndexMethods01
    - StringIndexMethods02
    - StringIndexMethods03
    - StringIndexMethods04
    - StringIndexMethods05
    - StringIndexOf
    - StringLastIndexOf
    - StringMiscellaneous01
    - StringMiscellaneous02
    - StringMiscellaneous03
    - StringMiscellaneous04
    - StringModelsWithFields
      - java/lang
        A.class
        A.java
        AbstractStringBuilder.class
        AbstractStringBuilder.java
        CharSequence.class
        CharSequence.java
        String.class
        String.java
        StringBuffer.class
        StringBuffer.java
        StringBuilder.class
        StringBuilder.java
      - Test.class
      - Test.java
      - test.desc
    - StringStartEnd01
    - StringStartEnd02
    - StringStartEnd03
    - StringSubstring
    - StringValueOf01
    - StringValueOf02
    - StringValueOf03
    - StringValueOf04
    - StringValueOf05
    - StringValueOf06
    - StringValueOf07
    - StringValueOf08
    - StringValueOf09
    - StringValueOf10
    - SubString01
    - SubString02
    - SubString03
    - TokenTest01
    - TokenTest02
    - Validate01
    - Validate02
    - VerifStringLastIndexOf
    - bug-test-gen-095
    - bug-test-gen-119-2
    - bug-test-gen-119
    - char_escape
    - cprover
    - instanceof
    - java_append_char
    - java_append_int
    - java_append_object
    - java_char_array_init
    - java_char_at
    - java_compare
    - java_concat
    - java_delete
    - java_easychair
    - java_empty
    - java_insert_char
    - java_insert_int
    - literal-length
    - long_string
    - max-length-generic-array
    - max-length
    - CMakeLists.txt
    - Makefile
  - jbmc
  - jdiff
  - strings-smoke-tests
  - CMakeLists.txt
  - Makefile
- src
- unit
- CMakeLists.txt
- README.md
pkg
regression
scripts
src
unit
.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-windows.yml
buildspec.yml
gcloud-travis-cbmc.json.enc