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 '22c6a42d5c'
${ noResults }
infer_clone/infer/tests/codetoanalyze/java/starvation
History
Nikos Gorogiannis 3783c52a76
[starvation] add models for getStreamVolume and getRingerMode 		4 years ago
..
.inferconfig [starvation] allow specifying method patterns for skipping analysis via cmdline and inferconfig 7 years ago
AsyncTaskGet.java [copyright] Remove years 6 years ago
Binders.java [starvation] add models for getStreamVolume and getRingerMode 4 years ago
Countdwn.java [copyright] Remove years 6 years ago
FutureGet.java [starvation] treat precondition calls as assumes 5 years ago
IndirectBlock.java [copyright] Remove years 6 years ago
InnerClass.java [starvation] fix inner class tests 5 years ago
Interclass.java [copyright] Remove years 6 years ago
Interproc.java [starvation] substitute arguments over parameters in locks 5 years ago
Intraproc.java [starvation] allow aliasing of parameters across threads 5 years ago
JavaIO.java [copyright] Remove years 6 years ago
LegacySync.java [copyright] Remove years 6 years ago
LocalLock.java [copyright] Remove years 6 years ago
LockSensitivity.java [starvation] add tests documenting path sensitivity FPs and FNs 5 years ago
LocklessTests.java [lockless] detect lock acquisitions from methods annotated @Lockless 6 years ago
MainThreadTest.java [copyright] Remove years 6 years ago
Makefile [copyright] Remove years 6 years ago
MasterLock.java [starvation] change domain to use critical pairs `(set of locks held, event)` 5 years ago
MyActivity.java [copyright] Remove years 6 years ago
NonBlk.java [starvation] fix FP with @NonBlocking caller and blocking calls in callees 4 years ago
NotUnderLock.java [starvation] warn on SettableFuture.set under lock 4 years ago
ObjWait.java [starvation] fix FPs due to mishandling wait 5 years ago
OurThreadUtils.java [starvation] add tests documenting path sensitivity FPs and FNs 5 years ago
Parameters.java [starvation] substitute arguments over parameters in locks 5 years ago
PubPriv.java [copyright] Remove years 6 years ago
ServiceOnUIThread.java [copyright] Remove years 6 years ago
SkipAnalysis.java [copyright] Remove years 6 years ago
StaticLock.java [copyright] Remove years 6 years ago
StrictModeViolation.java [copyright] Remove years 6 years ago
SuppLint.java [copyright] Remove years 6 years ago
ThreadCalls.java [starvation] model Thread.join as blocking 5 years ago
ThreadDeadlock.java [starvation] make analysis work with sil instead of hil 4 years ago
ThreadSensitivity.java [starvation] add path sensitivity restricted to thread status 5 years ago
Workers.java [starvation] make thread domain more precise 5 years ago
issues.exp [starvation] add models for getStreamVolume and getRingerMode 4 years ago