hohn/codeql
1
0
Fork 0
mirror of https://github.com/github/codeql.git synced 2026-06-20 04:11:07 +02:00
Code Issues Packages Projects Releases Wiki Activity
Files
1a751608de099b1c6339c1f6a4a8d246a62f2601
codeql/java/ql/lib/semmle/code/java/dataflow/internal
History
Benjamin Muskalla bfe2e2e0b9 Model taint for FilterOutputStream
2021-11-09 14:21:50 +01:00
..
rangeanalysis
Java: Fix import order in SignAnalysisSpecific
2021-10-14 15:51:56 +00:00
tainttracking1
Sync shared files
2021-10-14 11:49:02 +02:00
tainttracking2
Sync shared files
2021-10-14 11:49:02 +02:00
BaseSSA.qll
add explicit this qualifier on all of java
2021-10-15 15:27:37 +02:00
ContainerFlow.qll
[Java] JDK Collection lambda models
2021-10-19 15:57:58 -04:00
DataFlowDispatch.qll
Java: Add FieldValueNode to break up cartesian step relation.
2021-10-29 13:45:56 +02:00
DataFlowForSerializability.qll
Packaging: Java refactoring
2021-08-19 14:09:35 -07:00
DataFlowImpl2.qll
Merge pull request #7025 from MathiasVP/nomagic-parameterCand
2021-11-02 20:40:44 +00:00
DataFlowImpl3.qll
Merge pull request #7025 from MathiasVP/nomagic-parameterCand
2021-11-02 20:40:44 +00:00
DataFlowImpl4.qll
Merge pull request #7025 from MathiasVP/nomagic-parameterCand
2021-11-02 20:40:44 +00:00
DataFlowImpl5.qll
Merge pull request #7025 from MathiasVP/nomagic-parameterCand
2021-11-02 20:40:44 +00:00
DataFlowImpl6.qll
Merge pull request #7025 from MathiasVP/nomagic-parameterCand
2021-11-02 20:40:44 +00:00
DataFlowImpl.qll
Merge pull request #7025 from MathiasVP/nomagic-parameterCand
2021-11-02 20:40:44 +00:00
DataFlowImplCommon.qll
Merge pull request #6932 from aschackmull/dataflow/flow-features
2021-11-02 13:24:17 +01:00
DataFlowImplConsistency.qll
Dataflow: Refactor the getEnclosingCallable and ParameterNode interface.
2021-10-29 10:59:36 +02:00
DataFlowImplForSerializability.qll
Merge pull request #7025 from MathiasVP/nomagic-parameterCand
2021-11-02 20:40:44 +00:00
DataFlowImplSpecific.qll
Packaging: Java refactoring
2021-08-19 14:09:35 -07:00
DataFlowNodes.qll
Java: Add FieldValueNode to break up cartesian step relation.
2021-10-29 13:45:56 +02:00
DataFlowPrivate.qll
Java: Add FieldValueNode to break up cartesian step relation.
2021-10-29 13:45:56 +02:00
DataFlowUtil.qll
Java: Restrict use-use flow
2021-10-20 12:08:57 +02:00
FlowSummaryImpl.qll
Address review comments
2021-10-20 12:08:58 +02:00
FlowSummaryImplSpecific.qll
Java: Add FieldValueNode to break up cartesian step relation.
2021-10-29 13:45:56 +02:00
TaintTrackingUtil.qll
Model taint for FilterOutputStream
2021-11-09 14:21:50 +01:00