pghs975uc
/
infer_clone
1
0
Fork 0
Code Issues Pull Requests Releases Wiki Activity
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.
Branches Tags
${ item.name }
Create tag ${ searchTerm }
Create branch ${ searchTerm }
from '3fe1cbb6ec'
${ noResults }
infer_clone/infer/tests/endtoend/c
History
Dulma Churchill c3fbd5af29
Model CHECK macro and fix the model for builtin_expect 		9 years ago
..
AngelismTest.java fixing angelic mode for struct values passed by reference 10 years ago
ArrayOutOfBoundsTest.java Fix indentation of multiline copyright comment 10 years ago
AsmAngelismTest.java Translate GCCAsmStmt 10 years ago
AssertKeepBranchTest.java Model CHECK macro and fix the model for builtin_expect 9 years ago
AssertTest.java Model CHECK macro and fix the model for builtin_expect 9 years ago
AssertionFailureTest.java report errors when all the postconditions are error states 9 years ago
BUCK initial synchronization 10 years ago
CompoundLiteralExprTest.java add temp var from compoundLiteralExpr to the function locals 10 years ago
CustomErrorTest.java Generalize the detection of assertion failures to any kind of custom errors defined programatically in the orginal source code 10 years ago
DanglingDereferenceTest.java Fix indentation of multiline copyright comment 10 years ago
DivideByZeroTest.java Fix indentation of multiline copyright comment 10 years ago
EnumTest.java Fix indentation of multiline copyright comment 10 years ago
InitListExprTest.java Fix indentation of multiline copyright comment 10 years ago
ListsTest.java Fix indentation of multiline copyright comment 10 years ago
LocalVarsTest.java Fix indentation of multiline copyright comment 10 years ago
MemoryLeakTest.java Fix control-flow graph shape when conditional is last instruction. 9 years ago
NullDereferenceTest.java [clang-format] Reformat all c/cpp/objc sources with clang-format 10 years ago
NullDereferenceTest2.java Fix indentation of multiline copyright comment 10 years ago
NullDereferenceTest3.java Fixed problem with null pointer dereference in c library models. 10 years ago
ResourceLeakTest.java Add a model for gzdopen 9 years ago
SentinelTest.java Fix indentation of multiline copyright comment 10 years ago