Files

.githooks
.github
cmake
doc
integration
jbmc
- lib
- regression
  - book-examples
  - janalyzer-taint
  - janalyzer
  - jbmc-concurrency
  - jbmc-generics
  - jbmc-inheritance
  - jbmc-json-ui
  - jbmc-strings
    - CProverStringSetCharAt
    - CProverStringToString
    - CharToString
    - CharacterGetNumericValue
    - CharacterToChars
    - ClassName
    - ConstantEvaluationCProverStringSetCharAt
    - ConstantEvaluationCProverStringSetLength
    - ConstantEvaluationCharAt
    - ConstantEvaluationCompareTo
    - ConstantEvaluationContains
    - ConstantEvaluationEndsWith
    - ConstantEvaluationEqualsIgnoreCase
    - ConstantEvaluationIsEmpty
    - ConstantEvaluationLastIndexOf
    - ConstantEvaluationReplace
    - ConstantEvaluationStringBufferAppend01
    - ConstantEvaluationStringBufferAppend02-WithEmptyString
    - ConstantEvaluationStringBufferAppend03
    - ConstantEvaluationStringBufferAppend04-Object
    - ConstantEvaluationStringBufferDelete
    - ConstantEvaluationStringBufferDeleteCharAt
    - ConstantEvaluationStringBufferSetCharAt
    - ConstantEvaluationStringBufferSetLength
    - ConstantEvaluationStringBuilderAppend01
    - ConstantEvaluationStringBuilderAppend02-WithEmptyString
    - ConstantEvaluationStringBuilderAppend03
    - ConstantEvaluationStringBuilderAppend04-Object
    - ConstantEvaluationStringBuilderConstructor
    - ConstantEvaluationStringBuilderDelete
    - ConstantEvaluationStringBuilderDeleteCharAt
    - ConstantEvaluationStringBuilderSetCharAt
    - ConstantEvaluationStringBuilderSetLength
    - ConstantEvaluationStringConcatenation01
    - ConstantEvaluationStringConcatenation02-WithEmptyString
    - ConstantEvaluationStringConcatenation03-NegativeScenarios
    - ConstantEvaluationStringConcatenation04-StringEqual
    - ConstantEvaluationStringConcatenation05-VerificationFailure
    - ConstantEvaluationStringConcatenation06-2byteChar
    - ConstantEvaluationStringConcatenation07-NonPrintableChar
    - ConstantEvaluationStringConstructor
    - ConstantEvaluationStringValueOf01
    - ConstantEvaluationToLowerCase
    - ConstantEvaluationToString01
    - ConstantEvaluationToString02
    - ConstantEvaluationToUpperCase
    - ConstantEvaluationTrim
    - IndexOfConstantEvaluation01-String
    - IndexOfConstantEvaluation02-char
    - IndexOfConstantEvaluation03-IndexOutOfRange
    - IndexOfConstantEvaluation04-NegativeScenarios
    - IndexOfConstantEvaluation05-Character
    - IndexOfConstantEvaluation06-AssertionFailure
    - NondetStringBuilderAndBuffer
    - RegexMatches01
    - RegexMatches02
    - RegexSubstitution01
    - RegexSubstitution02
    - RegexSubstitution03
    - RegionMatches
    - StartsWith
    - StartsWithConstantEvaluation
    - StaticCharMethods01
    - StaticCharMethods02
    - StaticCharMethods03
    - StaticCharMethods04
    - StaticCharMethods05
    - StaticCharMethods06
    - StringArray
    - StringBufferSetLength
    - StringBuilderAppend01
    - StringBuilderAppend02
    - StringBuilderAppend03
    - StringBuilderCapLen01
    - StringBuilderCapLen02
    - StringBuilderCapLen03
    - StringBuilderCapLen04
    - StringBuilderChars01
    - StringBuilderChars02
    - StringBuilderChars03
    - StringBuilderChars04
    - StringBuilderChars05
    - StringBuilderChars06
    - StringBuilderConstructors01
    - StringBuilderConstructors02
    - StringBuilderInsert
    - StringBuilderInsertDelete01
    - StringBuilderInsertDelete02
    - StringBuilderInsertDelete03
    - StringBuilderSetCharAt
    - StringBuilderSubstringConstantEvaluation1
    - StringBuilderSubstringConstantEvaluation2
    - StringBuilderSubstringConstantEvaluation3
    - StringCompareTo
    - StringConcat
    - StringConcat_StringII
    - StringConcatenation01
    - StringConcatenation02
    - StringConcatenation03
    - StringConcatenation04
    - StringConstructors01
    - StringConstructors02
    - StringConstructors03
    - StringConstructors04
    - StringConstructors05
    - StringContains01
    - StringContains02
    - StringContains03
    - StringDependencies
    - StringEquals
    - StringFormatBool
    - StringFormatHex
    - StringFormatInt
    - StringFormatSpecial
    - StringFormatString
    - StringFormatVerification
    - StringHashCode
    - StringIndexMethods01
    - StringIndexMethods02
    - StringIndexMethods03
    - StringIndexMethods04
    - StringIndexMethods05
    - StringIndexOf
    - StringLastIndexOf
    - StringMiscellaneous01
    - StringMiscellaneous02
    - StringMiscellaneous03
    - StringMiscellaneous04
    - StringModelsWithFields
    - StringStartEnd01
    - StringStartEnd02
    - StringStartEnd03
    - StringSubstring
    - StringSubstringConstantEvaluation1
    - StringSubstringConstantEvaluation2
    - StringSubstringConstantEvaluation3
    - StringToLowerCase
    - StringToUpperCase
    - StringValueOf01
    - StringValueOf02
    - StringValueOf03
    - StringValueOf04
    - StringValueOf05
    - StringValueOf06
    - StringValueOf07
    - StringValueOf08
    - StringValueOf09
    - StringValueOf10
    - StringValueOfInt
    - SubString01
    - SubString02
    - SubString03
    - TokenTest01
      - TokenTest01.class
      - TokenTest01.java
      - test.desc
    - TokenTest02
    - Validate01
    - Validate02
    - VerifStringLastIndexOf
    - bug-test-gen-119-2
    - bug-test-gen-119
    - char_escape
    - cprover
    - float-to-string
    - 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
    - literal_length
    - long_string
    - max-length-generic-array
    - max-length
    - string-input-value
    - string-non-empty-option
    - stub-string-length
    - stubbed-constructor
    - toCodePoint
    - CMakeLists.txt
    - Makefile
  - jbmc
  - jdiff
  - strings-smoke-tests
  - CMakeLists.txt
  - Makefile
  - pom.xml
- src
- unit
- CMakeLists.txt
- README.md
regression
scripts
src
unit
.clang-format
.clang-format-ignore
.dir-locals.el
.editorconfig
.gitattributes
.gitignore
.gitmodules
CHANGELOG
CMakeLists.txt
CODEOWNERS
CODING_STANDARD.md
COMPILING.md
Dockerfile
FEATURE_IDEAS.md
LICENSE
README.md
RELEASE_PROCESS.md
TOOLS_OVERVIEW.md