JavaCollectionAPIMisusage
IssueKind
JavaEEEntryPointsAnalysis
analysis
JavaStringBuffer
StringBuilderValues
JavaStringBuilder
StringBuilderValues
JoinStabilization
ai
JumpToSubroutine
tac
join
AITracer
CoreDomainFunctionality
MultiTracer
IllegalValue
Value
Property
BooleanProperty
joinPostProcessing
CoreDomainFunctionality
IdentityBasedCorrelationChangeDetection
joinReturnedValues
RecordLastReturnedValues
RecordReturnedValues
joinThrownExceptions
RecordAllThrownExceptions
RecordJoinedThrownExceptions
RecordThrownExceptions
RecordAllThrownExceptions
joinValues
CoreDomainFunctionality
JoinStabilization
joinedValues
JoinStabilization
jquery
XHTML
jumpToSubroutine
AITracer
MultiTracer
SubroutinesDomain
RecordCFG
justThrows
ReferenceValuesFactory