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 'e7714d52f3'
${ noResults }
infer_clone/infer/tests/codetoanalyze/java/racerd
History
Nikos Gorogiannis 78ad6e6d00
[concurrency] extend notion of ui thread 		7 years ago
..
.inferconfig [racerd] don't report races in third-party code 7 years ago
Alias.java [cleanup] rename thread-safety analysis 7 years ago
AndroidModels.java [cleanup] rename thread-safety analysis 7 years ago
Annotations.java [concurrency] extend notion of ui thread 7 years ago
Arrays.java [cleanup] rename thread-safety analysis 7 years ago
Builders.java [racerd] make deep ownership work with OwnedIf 7 years ago
Constructors.java [hil] don't move any accesses across lock acquisition/release 7 years ago
Containers.java [cleanup] rename thread-safety analysis 7 years ago
DeepOwnership.java [racerd] deep ownership 7 years ago
Dispatch.java [racerd] don't report INTERFACE_NOT_THREAD_SAFE if the receiver of the interface call is marked `ThreadConfined` 7 years ago
DoNotReport.java [racerd] don't report races in third-party code 7 years ago
Escape.java [cleanup] rename thread-safety analysis 7 years ago
Inference.java [cleanup] rename thread-safety analysis 7 years ago
Locks.java [racerd] new lock domain 7 years ago
Makefile [cleanup] rename thread-safety analysis 7 years ago
NotThreadSafeExample.java [cleanup] rename thread-safety analysis 7 years ago
Ownership.java [LockConsistency] Adding conditional ownership to the rest of the formal parameters of constructors. 7 years ago
RaceWithMainThread.java [racerd] generalize access preconditions 7 years ago
ReadWriteRaces.java [cleanup] rename thread-safety analysis 7 years ago
SkippedClass.java [cleanup] rename thread-safety analysis 7 years ago
SubFld.java [cleanup] rename thread-safety analysis 7 years ago
SwitchEnum.java [cleanup] rename thread-safety analysis 7 years ago
ThreadSafeExample.java [cleanup] rename thread-safety analysis 7 years ago
ThreadSafeMethods.java [cleanup] rename thread-safety analysis 7 years ago
issues.exp [racerd] switch to external issue logs 7 years ago