| cl,sl: update cmake and debug scripts for Darwin and LLVM |
|
More...
|
over 5 years ago
|
| cl/config_cl.h: debug without sys/malloc.h on Darwin |
|
More...
|
almost 6 years ago
|
| README: include HOWTO for Darwin and LLVM |
|
More...
|
almost 6 years ago
|
| sl/symbin: define additional gcc built-in functions |
|
More...
|
almost 6 years ago
|
| cl/cl_chain: avoid using dynamic_cast in cl_chain_append() |
|
More...
|
almost 6 years ago
|
| cl/tests: make headers_sanity tests pass with llvm |
|
More...
|
almost 6 years ago
|
| sl/slgcc.in: drop script template no longer in use |
|
More...
|
almost 6 years ago
|
| switch-host-{gcc,llvm}.sh: do not hard-wire number of jobs |
|
More...
|
almost 6 years ago
|
| cl,sl: make the build succeed with llvm on darwin |
|
More...
|
almost 6 years ago
|
| predator-regre/test-0199: fix compilation failure on macosx |
|
More...
|
almost 6 years ago
|
| llvm: fix compilation on LLVM >= 7 |
|
More...
|
almost 6 years ago
|
| llvm: fix iterating over PHI nodes for newer LLVMs |
|
More...
|
almost 6 years ago
|
| llvm: fix converting APFloat for LLVM >= 4 |
|
More...
|
almost 6 years ago
|
| llvm: use Function::getSubprogram() instead of getDISubprogram(Function*) |
|
More...
|
almost 6 years ago
|
| llvm: use for-range loops to iterate over LLVM stuff |
|
More...
|
almost 6 years ago
|
| llvm: fix the LLVM_HOST_3_7_OR_NEWER macro |
|
More...
|
almost 6 years ago
|
| sl/symexec: deduplicate code of SymExecEngine::execAbort() |
|
More...
|
almost 6 years ago
|
| sl/symexec: hide private methods of SymExec |
|
More...
|
about 6 years ago
|
| .travis.yml: use build matrix to run debug build |
|
More...
|
about 6 years ago
|
| sl/symcall: do not propagate return values on exit paths |
|
More...
|
about 6 years ago
|
| sl/symproc: do not destroy OBJ_RETURN in destroyProgVars() |
|
More...
|
about 6 years ago
|
| tests/predator-regre: cover the "exit_leaks" option by tests |
|
More...
|
about 6 years ago
|
| cl: silence -Wimplicit-fallthrough compiler warnings |
|
More...
|
about 6 years ago
|
| cl/cl_factory: prefer using `continue` over `break` |
|
More...
|
about 6 years ago
|
| sl/symexec: report "exit_leaks" warnings as early as possible |
|
More...
|
about 6 years ago
|
| sl/symexec: handle exit points in SymExecEngine::execInsn() |
|
More...
|
about 6 years ago
|
| sl/sym{cmp,join}: compare exit points of the given heaps |
|
More...
|
about 6 years ago
|
| sl/symheap: introduce exitPoint() and setExitPoint() methods |
|
More...
|
about 6 years ago
|
| sl/symabstract: silence compiler warning |
|
More...
|
about 6 years ago
|
| sl/symbin: handle the "exit_leaks" option also in __VERIFIER_error() |
|
More...
|
about 6 years ago
|
