Commit f5583d1
Alexey Volkov
1.4.5 version
1 parent f8eb00b commit f5583d1
9,151 files changed
Lines changed: 450361 additions & 425571 deletions
File tree
- docs/htmlMultiModule
- images
- jacodb-analysis
- org.jacodb.analysis.config
- -basic-condition-evaluator
- -call-position-to-access-path-resolver
- -call-position-to-jc-value-resolver
- -entry-point-position-to-access-path-resolver
- -entry-point-position-to-jc-value-resolver
- -fact-aware-condition-evaluator
- -taint-action-evaluator
- org.jacodb.analysis.graph
- -jc-application-graph-impl
- -jc-noop-inst
- org.jacodb.analysis.ifds
- -access-path
- -companion
- -accessor
- -analyzer
- -class-unit
- -control-event
- -edge
- -element-accessor
- -field-accessor
- -flow-functions
- -flow-function
- -ifds-result
- -manager
- -maybe
- -companion
- -method-unit
- -package-unit
- -queue-emptiness-changed
- -reason
- -call-to-start
- -cross-unit-call
- -external
- -initial
- -sequent
- -through-summary
- -runner
- -singleton-unit
- -summary-edge
- -summary-storage-impl
- -summary-storage
- -summary
- -trace-graph
- -uni-runner
- -unit-resolver
- -companion
- -unit-type
- -unknown-unit
- -vertex
- -vulnerability
- org.jacodb.analysis.impl.custom
- -abstract-flow-analysis
- -backward-flow-analysis
- -flow-analysis-direction
- -b-a-c-k-w-a-r-d
- -f-o-r-w-a-r-d
- -flow-analysis-impl
- -flow-analysis
- -flow-entry
- -flow
- -i-n
- -o-u-t
- -forward-flow-analysis
- -leaf-entry
- -null-analysis-map
- -null-assumption-analysis
- -nullable-state
- -n-o-n_-n-u-l-l
- -n-u-l-l
- -u-n-k-n-o-w-n
- -reaching-definitions-analysis
- -root-entry
- org.jacodb.analysis.npe
- -forward-npe-flow-functions
- -npe-analyzer
- -npe-manager
- org.jacodb.analysis.sarif
- -source-file-resolver
- -vulnerability-description
- -vulnerability-instance
- org.jacodb.analysis.taint
- -backward-taint-analyzer
- -backward-taint-flow-functions
- -edge-for-other-runner
- -forward-taint-flow-functions
- -new-summary-edge
- -new-vulnerability
- -taint-analyzer
- -taint-bidi-runner
- -taint-domain-fact
- -taint-event
- -taint-manager
- -taint-summary-edge
- -taint-vulnerability
- -taint-zero-fact
- -tainted
- org.jacodb.analysis.unused
- -event
- -new-summary-edge
- -unused-variable-analyzer
- -unused-variable-domain-fact
- -unused-variable-flow-functions
- -unused-variable-manager
- -unused-variable-summary-edge
- -unused-variable-vulnerability
- -unused-variable-zero-fact
- -unused-variable
- org.jacodb.analysis.util
- jacodb-api
- org.jacodb.api.analysis
- -application-graph
- -full-objects-set
- -jc-application-graph
- -jc-points-to-analysis
- -jc-points-to-set
- -primitive-points-analysis
- org.jacodb.api.cfg
- -abstract-full-expr-set-collector
- -abstract-full-raw-expr-set-collector
- -abstract-jc-inst
- -bsm-arg
- -bsm-double-arg
- -bsm-float-arg
- -bsm-handle
- -bsm-int-arg
- -bsm-long-arg
- -bsm-method-type-arg
- -bsm-string-arg
- -bsm-type-arg
- -default-jc-expr-visitor
- -default-jc-inst-visitor
- -default-jc-raw-expr-visitor
- -default-jc-raw-inst-visitor
- -graph
- -jc-add-expr
- -jc-and-expr
- -jc-argument
- -companion
- -jc-array-access
- -jc-assign-inst
- -jc-basic-block
- -jc-binary-expr
- -jc-block-graph
- -jc-bool
- -jc-branching-inst
- -jc-bytecode-graph
- -jc-byte
- -jc-call-expr
- -jc-call-inst
- -jc-cast-expr
- -jc-catch-inst
- -jc-char
- -jc-class-constant
- -jc-cmp-expr
- -jc-cmpg-expr
- -jc-cmpl-expr
- -jc-complex-value
- -jc-condition-expr
- -jc-constant
- -jc-div-expr
- -jc-double
- -jc-dynamic-call-expr
- -jc-enter-monitor-inst
- -jc-eq-expr
- -jc-exit-monitor-inst
- -jc-expr-visitor
- -jc-expr
- -jc-field-ref
- -jc-float
- -jc-ge-expr
- -jc-goto-inst
- -jc-graph
- -jc-gt-expr
- -jc-if-inst
- -jc-inst-list
- -jc-inst-location
- -jc-inst-ref
- -jc-inst-visitor
- -jc-instance-call-expr
- -jc-instance-of-expr
- -jc-inst
- -jc-int
- -jc-lambda-expr
- -jc-le-expr
- -jc-length-expr
- -jc-local-var
- -jc-local
- -jc-long
- -jc-lt-expr
- -jc-method-constant
- -jc-method-type
- -jc-mul-expr
- -jc-mutable-inst-list
- -jc-neg-expr
- -jc-neq-expr
- -jc-new-array-expr
- -companion
- -jc-new-expr
- -jc-null-constant
- -jc-numeric-constant
- -jc-or-expr
- -jc-phi-expr
- -jc-raw-add-expr
- -jc-raw-and-expr
- -jc-raw-argument
- -companion
- -jc-raw-array-access
- -jc-raw-assign-inst
- -jc-raw-binary-expr
- -jc-raw-bool
- -jc-raw-branching-inst
- -jc-raw-byte
- -jc-raw-call-expr
- -jc-raw-call-inst
- -jc-raw-cast-expr
- -jc-raw-catch-entry
- -jc-raw-catch-inst
- -jc-raw-char
- -jc-raw-class-constant
- -jc-raw-cmp-expr
- -jc-raw-cmpg-expr
- -jc-raw-cmpl-expr
- -jc-raw-complex-value
- -jc-raw-condition-expr
- -jc-raw-constant
- -jc-raw-div-expr
- -jc-raw-double
- -jc-raw-dynamic-call-expr
- -jc-raw-enter-monitor-inst
- -jc-raw-eq-expr
- -jc-raw-exit-monitor-inst
- -jc-raw-expr-visitor
- -jc-raw-expr
- -jc-raw-field-ref
- -jc-raw-float
- -jc-raw-ge-expr
- -jc-raw-goto-inst
- -jc-raw-gt-expr
- -jc-raw-if-inst
- -jc-raw-inst-visitor
- -jc-raw-instance-expr
- -jc-raw-instance-of-expr
- -jc-raw-inst
- -jc-raw-interface-call-expr
- -jc-raw-int
- -jc-raw-label-inst
- -jc-raw-label-ref
- -jc-raw-le-expr
- -jc-raw-length-expr
- -jc-raw-line-number-inst
- -jc-raw-local-var
- -jc-raw-local
- -jc-raw-long
- -jc-raw-lt-expr
- -jc-raw-method-constant
- -jc-raw-method-type
- -jc-raw-mul-expr
- -jc-raw-neg-expr
- -jc-raw-neq-expr
- -jc-raw-new-array-expr
- -companion
- -jc-raw-new-expr
- -jc-raw-null-constant
- -jc-raw-or-expr
- -jc-raw-rem-expr
- -jc-raw-return-inst
- -jc-raw-shl-expr
- -jc-raw-short
- -jc-raw-shr-expr
- -jc-raw-simple-value
- -jc-raw-special-call-expr
- -jc-raw-static-call-expr
- -jc-raw-string-constant
- -jc-raw-sub-expr
- -jc-raw-switch-inst
- -jc-raw-this
- -jc-raw-throw-inst
- -jc-raw-ushr-expr
- -jc-raw-value
- -jc-raw-virtual-call-expr
- -jc-raw-xor-expr
- -jc-rem-expr
- -jc-return-inst
- -jc-shl-expr
- -jc-short
- -jc-shr-expr
- -jc-simple-value
- -jc-special-call-expr
- -jc-static-call-expr
- -jc-string-constant
- -jc-sub-expr
- -jc-switch-inst
- -jc-terminating-inst
- -jc-this
- -jc-throw-inst
- -jc-ushr-expr
- -jc-value
- -jc-virtual-call-expr
- -jc-xor-expr
- -local-resolver
- -typed-expr-resolver
- -typed-method-ref
- -value-resolver
- -virtual-typed-method-ref
- org.jacodb.api.ext.cfg
- -array-access-visitor
- -call-expr-visitor
- -field-ref-visitor
- org.jacodb.api.ext
- -field-usages-result
- -hierarchy-extension
- org.jacodb.api
- -byte-code-indexer
- -class-source
- -field-resolution
- -field-usage-mode
- -r-e-a-d
- -w-r-i-t-e
- -hook
- -j-c-d-b-symbols-interner
- -java-version
- -jc-accessible
- -jc-annotated-symbol
- -jc-annotated
- -jc-annotation
- -jc-array-type
- -jc-bounded-wildcard
- -jc-byte-code-location
- -jc-class-ext-feature
- -jc-class-or-interface
- -jc-class-processing-task
- -jc-class-type
- -jc-classpath-ext-feature
- -jc-resolved-class-result
- -jc-resolved-classes-result
- -jc-resolved-type-result
- -jc-classpath-feature
- -jc-classpath-task
- -jc-classpath
- -jc-database-persistence
- -jc-database
- -jc-declaration
- -jc-feature-event
- -jc-feature
- -jc-field
- -jc-generics-substitution-feature
- -jc-inst-ext-feature
- -jc-lookup-ext-feature
- -jc-lookup
- -jc-method-ext-feature
- -jc-flow-graph-result
- -jc-inst-list-result
- -jc-raw-inst-list-result
- -jc-method
- -jc-parameter
- -jc-primitive-type
- -jc-ref-type
- -jc-signal
- -after-indexing
- -before-indexing
- -closed
- -drop
- -location-removed
- -jc-substitutor
- -jc-symbol
- -jc-type-variable-declaration
- -jc-type-variable
- -jc-typed-field
- -jc-typed-method-parameter
- -jc-typed-method
- -jc-type
- -jc-unbound-wildcard
- -jvm-type-parameter-declaration
- -jvm-type
- -location-type
- -a-p-p
- -r-u-n-t-i-m-e
- -malformed
- -method-not-found-exception
- -method-resolution
- -no-class-in-classpath-exception
- -predefined-primitives
- -predefined-primitive
- -pure
- -record-component-resolution
- -registered-location
- -resolution
- -type-name
- -type-not-found-exception
- -type-resolution
- jacodb-approximations
- org.jacodb.approximation.annotation
- -approximate
- org.jacodb.approximation
- -approximation-class-name
- -approximations
- -enriched-virtual-field-builder
- -enriched-virtual-method-builder
- -inst-substitutor-for-approximations
- -jc-enriched-virtual-field
- -jc-enriched-virtual-method
- -jc-enriched-virtual-parameter
- -original-class-name
- -transformer-into-virtual
- jacodb-core
- org.jacodb.impl.analysis.impl
- -string-concat-simplifier-transformer
- org.jacodb.impl.bytecode
- -class-delegating-lookup
- -delegating-lookup
- -jc-abstract-lookup
- -jc-annotation-impl
- -jc-class-lookup-impl
- -jc-class-or-interface-impl
- -jc-database-class-writer
- -jc-declaration-impl
- -companion
- -jc-field-impl
- -jc-method-impl
- -jc-parameter-impl
- -type-delegating-lookup
- org.jacodb.impl.cfg.graphs
- -cytron-dominance-frontier
- -dominator-node
- -dominators-tree
- -graph-dominators
- org.jacodb.impl.cfg.util
- -expr-mapper
- -instruction-filter
- -jc-loop
- org.jacodb.impl.cfg
- -jc-block-graph-impl
- -jc-exception-resolver
- -jc-graph-impl
- -jc-inst-list-builder
- -jc-inst-list-impl
- -jc-inst-location-impl
- -jc-mutable-inst-list-impl
Some content is hidden
Large Commits have some content hidden by default. Use the searchbox below for content that may be hidden.
File renamed without changes.
File renamed without changes.
File renamed without changes.
File renamed without changes.
File renamed without changes.
File renamed without changes.
File renamed without changes.
File renamed without changes.
File renamed without changes.
0 commit comments