You can not select more than 25 topics Topics must start with a letter or number, can include dashes ('-') and can be up to 35 characters long.
Jules Villard 4fe1615434
give correct type to root exps of array dereferences
8 years ago
..
arithmetic detect unsigned values inside structured expressions 8 years ago
assertions Model CHECK macro and fix the model for builtin_expect 9 years ago
attributes [clang-format] Reformat all c/cpp/objc sources with clang-format 9 years ago
custom_error [clang-format] Reformat all c/cpp/objc sources with clang-format 9 years ago
dangling_deref [clang-format] Reformat all c/cpp/objc sources with clang-format 9 years ago
initialization give correct type to root exps of array dereferences 8 years ago
lists making get_reachable_hpreds understand inductive predicates 8 years ago
local_vars Fixing shortcircuit in binary operator. 9 years ago
memory_leaks Fix StmtExpr 9 years ago
null_dereference add option to assume that malloc never returns null 9 years ago
resource_leaks Add a model for gzdopen 9 years ago
BUCK Generalize the detection of assertion failures to any kind of custom errors defined programatically in the orginal source code 9 years ago
Makefile Generalize the detection of assertion failures to any kind of custom errors defined programatically in the orginal source code 9 years ago
generic.mk initial synchronization 10 years ago