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 '0db83eb5dd'
${ noResults }
infer_clone/infer/tests/codetoanalyze/java/infer
History
Dulma Rodriguez 0db83eb5dd
Adding the no progress bar option to the tests 		9 years ago
..
AnalysisStops.java Complete copyright messages. 10 years ago
ArrayOutOfBounds.java Complete copyright messages. 10 years ago
AutoGenerated.java [copyrightor] format start and end of copyright comments 10 years ago
BUCK Adding the no progress bar option to the tests 9 years ago
Builtins.java [copyrightor] format start and end of copyright comments 10 years ago
ClassCastExceptions.java Complete copyright messages. 10 years ago
CloseableAsResourceExample.java [infer][java] the detection of a resource leak should not prevent the symbolic execution to proceed 10 years ago
ContextLeaks.java No longer report context leak on private methods 9 years ago
CursorLeaks.java Complete copyright messages. 10 years ago
DivideByZero.java Complete copyright messages. 10 years ago
FilterInputStreamLeaks.java Complete copyright messages. 10 years ago
FilterOutputStreamLeaks.java Complete copyright messages. 10 years ago
HashMapExample.java [copyrightor] format start and end of copyright comments 10 years ago
IntegerExample.java Complete copyright messages. 10 years ago
JunitAssertion.java Complete copyright messages. 10 years ago
NeverNullSource.java Complete copyright messages. 10 years ago
NullPointerExceptions.java Adding inferconfig support to skip the translation of generated source code 9 years ago
ReaderLeaks.java Complete copyright messages. 10 years ago
ResourceLeaks.java [infer][java] modeling that the resource created by ZipFile.getInputStream(ZipEntry entry) is closed by ZipFile.close() 10 years ago
ReturnValueIgnored.java Complete copyright messages. 10 years ago
SkippedSourceFile.java Adding inferconfig support to skip the translation of generated source code 9 years ago
SomeLibrary.java Complete copyright messages. 10 years ago
T.java Complete copyright messages. 10 years ago
TaintExample.java First version of taint analysis. 9 years ago
Utils.java Complete copyright messages. 10 years ago
WriterLeaks.java Complete copyright messages. 10 years ago