File tree Expand file tree Collapse file tree 1 file changed +6
-9
lines changed
csharp/src/audit/templates Expand file tree Collapse file tree 1 file changed +6
-9
lines changed Original file line number Diff line number Diff line change 1
1
/**
2
2
* @name Forward Partial Dataflow
3
3
* @description Forward Partial Dataflow
4
- * @kind problem
5
- * @precision low
6
- * @problem.severity error
7
- * @id seclab/forward-partial-dataflow
8
- * @tags audit
4
+ * @kind table
5
+ * @id githubsecuritylab/forward-partial-dataflow
6
+ * @tags template
9
7
*/
10
8
11
9
import csharp
@@ -22,16 +20,15 @@ private module MyConfig implements DataFlow::ConfigSig {
22
20
none ( )
23
21
}
24
22
25
- predicate isSink ( DataFlow:: Node sink ) {
26
- none ( )
27
- }
23
+ predicate isSink ( DataFlow:: Node sink ) { none ( ) }
28
24
}
29
25
30
26
private module MyFlow = TaintTracking:: Global< MyConfig > ; // or DataFlow::Global<..>
27
+
31
28
int explorationLimit ( ) { result = 10 }
29
+
32
30
private module PartialFlow = MyFlow:: FlowExploration< explorationLimit / 0 > ;
33
31
34
32
from PartialFlow:: PartialPathNode n , int dist
35
33
where PartialFlow:: partialFlow ( _, n , dist )
36
34
select dist , n
37
-
You can’t perform that action at this time.
0 commit comments