| sl: add test coverage for the "exit_leaks" option |
|
More...
|
about 6 years ago
|
| tests/predator-regre: drop expected output of decommissioned tests |
|
More...
|
about 6 years ago
|
| sl/glconf: introduce "exit_leaks" option |
|
More...
|
about 6 years ago
|
| sl/symbin: make abort() and exit() appear in backtrace |
|
More...
|
about 6 years ago
|
| sl/symbin: handle abort() and exit() explicitly |
|
More...
|
about 6 years ago
|
| sl/symproc: destroyProgVars() factored out from digGlJunk() |
|
More...
|
about 6 years ago
|
| predator-regre/test-0249.c: regression test for scope of automatic variables |
|
More...
|
over 6 years ago
|
| tests/predator-regre: sync the expected output |
|
More...
|
over 6 years ago
|
| sl/symproc: work around missing location for CL_INSN_CLOBBER |
|
More...
|
over 6 years ago
|
| cl/killer: handle CL_INSN_CLOBBER properly in scanInsn() |
|
More...
|
over 6 years ago
|
| cl,sl: add support for CL_INSN_CLOBBER |
|
More...
|
over 6 years ago
|
| .travis.yml: adapt for Ubuntu Trusty |
|
More...
|
about 7 years ago
|
| gcc: make the plug-in compile self with gcc-6.4.0 |
|
More...
|
about 7 years ago
|
| common.cmake: make INT3 check work again with CMake 3.8 |
|
More...
|
about 7 years ago
|
| maint: build gcc-6.4.0 by default |
|
More...
|
about 7 years ago
|
| maint: build gcc-5.4.0 by default |
|
More...
|
almost 8 years ago
|
| common.cmake: avoid using the --entry option of ld |
|
More...
|
about 8 years ago
|
| sl/check-property.sh: fix name of a sourced script |
|
More...
|
about 8 years ago
|
| sl: new definition reachability in SV-COMP |
|
More...
|
about 8 years ago
|
| sl/check-property.sh: performance issue on large trace files |
|
More...
|
about 8 years ago
|
| sl/check-property.sh: add new SV-COMP properties, support for LLVM |
|
More...
|
about 8 years ago
|
| maint: add build for external LLVM passes |
|
More...
|
about 8 years ago
|
| cl/llvm: use spaces for indentation |
|
More...
|
about 8 years ago
|
| cl/llvm: fix assignment of string literals |
|
More...
|
about 8 years ago
|
| cl/llvm: fix build failure with clang-3.5 |
|
More...
|
about 8 years ago
|
| sl/syments: simplify the code of RefCntLib |
|
More...
|
about 8 years ago
|
| Makefile: remove obsolete targets |
|
More...
|
about 8 years ago
|
| maint: build gcc-4.9.4 by default |
|
More...
|
about 8 years ago
|
| maint: build boost-1.56.0 by default |
|
More...
|
about 8 years ago
|
| sl/symheap: limit PTR<-->INT reinterpretation to pointer values |
|
More...
|
about 8 years ago
|
