Commits · cpachecker-2.3 · SoSy-Lab / Software / CPAchecker · GitLab

Nov 24, 2023
- Release 2.3 of CPAchecker! · 1d3d46dd
  pwendler authored Nov 24, 2023
  View commits for tag cpachecker-2.3 cpachecker-2.3
  1d3d46dd
- Release 2.3 · 13b0653d
  pwendler authored Nov 24, 2023
  13b0653d
- Merge fix for #1185 · 46ddd394
  pwendler authored Nov 24, 2023
  46ddd394
- Format source · ffa3d09f
  pwendler authored Nov 24, 2023
  ffa3d09f
- Add release notes for CPAchecker 2.3 · 9542af8c
  pwendler authored Nov 24, 2023
  9542af8c
- Update BenchExec to version 3.19 · 7b6caaf7
  pwendler authored Nov 24, 2023
  7b6caaf7
- Memsafety: Fix wrong name in config · fe354957
  dbaier authored Nov 24, 2023
  fe354957
- Memsafety: Streamline configs some more · 1c9a9230
  dbaier authored Nov 24, 2023
  1c9a9230
- Memsafety: Streamline options and configs · 89f9236d
  dbaier authored Nov 24, 2023
  89f9236d
- Ensure value can be represented by larger type · 26aa358c
  spiessl authored Nov 24, 2023
  26aa358c
- Provide CTypes.with{Const,Volatile}SetTo(CType, boolean) · e677b7cd
  pwendler authored Nov 24, 2023
  e677b7cd
- Make CTypes.copyDequalified() better usable and use it · e7df95ff
  pwendler authored Nov 24, 2023
  e7df95ff
- Fix handling of INT_MIN literals in CEX export · 4a575e9f
  spiessl authored Nov 24, 2023
  4a575e9f
- Memsafety: Disable unfinished feature for list abstraction (recreation of... · 83c7bd72
  dbaier authored Nov 24, 2023
  83c7bd72
- Memsafety: Add copy of memory (shallow currently) when materializing and... · 5a39220c
  dbaier authored Nov 24, 2023
  5a39220c
- Memsafety: Extend SPC to offer the SMG method to find all sources for a pointer target · ab25c037
  dbaier authored Nov 24, 2023
  ab25c037
- Memsafety: Add SMGObject of() to copy SMGObjects · 4ba09981
  dbaier authored Nov 24, 2023
  4ba09981
- Memsafety: Add SMG method to find all memory objects with a pointer towards a target object · 33930bd0
  dbaier authored Nov 24, 2023
  33930bd0
Nov 23, 2023
- Fix comment referencing function entry nodes when only function exit nodes are considered · 0e68f8e2
  mlingsch authored Nov 23, 2023
  0e68f8e2
- Given the semantics of violation witnesses it is currently unclear how to... · 3322be0f
  mlingsch authored Nov 23, 2023
  3322be0f
- Improve handling empty lines and function return calls · 6eb64325
  mlingsch authored Nov 23, 2023
  6eb64325
- format source · 1f46143f
  pwendler authored Nov 23, 2023
  1f46143f
- Memsafety: create a string literal when not present in the address visitor · 15dd5242
  dbaier authored Nov 23, 2023
  15dd5242
- Update Contributors of CPAchecker · ecb147df
  dbeyer authored Nov 23, 2023
  ecb147df
- Remove cast by using the correct type · 6e929766
  mlingsch authored Nov 23, 2023
  6e929766
- Fix handling of string literals in predicate analysis · 8580bc6f
  pwendler authored Nov 23, 2023
  8580bc6f
- Create a branch for fixing #1185 · 3b75fd85
  pwendler authored Nov 23, 2023
  3b75fd85
- Use the cast from Flueniterable · 23cd6f4c
  mlingsch authored Nov 23, 2023
  23cd6f4c
- When merging the abstractions at different locations, we need the disjunction... · e8a5fb6e
  mlingsch authored Nov 23, 2023
  e8a5fb6e
- Remove unnecessary function · c15a7712
  mlingsch authored Nov 23, 2023
  c15a7712
- Remove unnecessary function · 0dee0fb6
  mlingsch authored Nov 23, 2023
  0dee0fb6
- Log exception such that the user can also realize why the witness was not exported if requested · adf0deff
  mlingsch authored Nov 23, 2023
  adf0deff
- Format ASTStructure.java · ea466cdf
  dbaier authored Nov 23, 2023
  ea466cdf
- MemSafety: remodel handling of complex entry function arguments such that they... · 8ff41a3e
  dbaier authored Nov 23, 2023
  8ff41a3e
- MemSafety: remodel handling of complex entry function arguments · 99a1fde1
  dbaier authored Nov 23, 2023
  99a1fde1
- Added a possibility to export YAML witnesses directly from the ARG without... · 25d11b3e
  mlingsch authored Nov 23, 2023
  25d11b3e
- Add ASTStructure to the svcomp24 config · 38c636ff
  mlingsch authored Nov 23, 2023
  38c636ff
- Fix malloc handling in integration pred. overflow · f94ff16a
  spiessl authored Nov 23, 2023
  f94ff16a
- MemSafety: correctly calculate the C field initialization offset + initialize... · 767360f3
  dbaier authored Nov 23, 2023
  767360f3
- Changing termination configs for the witness generation · 1af81dbc
  mjankola authored Nov 23, 2023
  1af81dbc