Commit 3d60237
File tree
154 files changed
+5103
-1473
lines changed- .github/workflows
- SynchronizedPDS/src/main/java/sync/pds/solver
- WPDS/src/main/java/wpds
- impl
- interfaces
- boomerangPDS
- src
- main/java/boomerang
- callgraph
- flowfunction
- guided
- options
- pathtracking
- results
- solver
- stats
- test/java
- boomerang/guided
- flowfunction
- test
- cases/bugfixes/issue5
- core
- options
- boomerang
- flowfunctions
- boomerangScope-Opal
- src
- main/scala/boomerang/scope/opal
- tac
- test/scala/boomerang/scope/opal
- boomerangScope-SootUp/src/main/java/boomerang/scope/sootup/jimple
- boomerangScope-Soot/src/main/java/boomerang/scope/soot/jimple
- boomerangScope-WALA/src/main/java/boomerang/scope/wala
- boomerangScope
- src
- main/java/boomerang/scope
- test/java/boomerang/scope/test/targets
- docs
- boomerang
- examples
- general
- examples
- TaintAnalysis
- src/main/java/boomerang/example
- analysis
- targets
- taints
- boomerang
- idealPDS/src
- main/java
- ideal
- typestate
- test/java
- chains
- test
- testCore
- src/main/java/test
- setup
Some content is hidden
Large Commits have some content hidden by default. Use the searchbox below for content that may be hidden.
154 files changed
+5103
-1473
lines changedThis file was deleted.
| Original file line number | Diff line number | Diff line change | |
|---|---|---|---|
| |||
4 | 4 | | |
5 | 5 | | |
6 | 6 | | |
7 | | - | |
8 | | - | |
9 | | - | |
10 | | - | |
11 | 7 | | |
12 | 8 | | |
13 | 9 | | |
| |||
This file was deleted.
This file was deleted.
Lines changed: 2 additions & 2 deletions
| Original file line number | Diff line number | Diff line change | |
|---|---|---|---|
| |||
15 | 15 | | |
16 | 16 | | |
17 | 17 | | |
18 | | - | |
| 18 | + | |
19 | 19 | | |
20 | 20 | | |
21 | 21 | | |
| |||
24 | 24 | | |
25 | 25 | | |
26 | 26 | | |
27 | | - | |
| 27 | + | |
28 | 28 | | |
| Original file line number | Diff line number | Diff line change | |
|---|---|---|---|
| |||
16 | 16 | | |
17 | 17 | | |
18 | 18 | | |
19 | | - | |
| 19 | + | |
20 | 20 | | |
21 | 21 | | |
22 | 22 | | |
| |||
| Original file line number | Diff line number | Diff line change | |
|---|---|---|---|
| |||
| 1 | + | |
| 2 | + | |
| 3 | + | |
| 4 | + | |
| 5 | + | |
| 6 | + | |
| 7 | + | |
| 8 | + | |
| 9 | + | |
| 10 | + | |
| 11 | + | |
| 12 | + | |
| 13 | + | |
| 14 | + | |
| 15 | + | |
| 16 | + | |
| 17 | + | |
| 18 | + | |
| 19 | + | |
| 20 | + | |
| 21 | + | |
| 22 | + | |
| 23 | + | |
| 24 | + | |
| 25 | + | |
| 26 | + | |
| 27 | + | |
| 28 | + | |
| Original file line number | Diff line number | Diff line change | |
|---|---|---|---|
| |||
| 1 | + | |
| 2 | + | |
| 3 | + | |
| 4 | + | |
| 5 | + | |
| 6 | + | |
| 7 | + | |
| 8 | + | |
| 9 | + | |
| 10 | + | |
| 11 | + | |
| 12 | + | |
| 13 | + | |
| 14 | + | |
| 15 | + | |
| 16 | + | |
| 17 | + | |
| 18 | + | |
| 19 | + | |
| 20 | + | |
| 21 | + | |
| 22 | + | |
| 23 | + | |
| 24 | + | |
| 25 | + | |
| 26 | + | |
| 27 | + | |
| 28 | + | |
| 29 | + | |
| 30 | + | |
| 31 | + | |
| 32 | + | |
| 33 | + | |
| Original file line number | Diff line number | Diff line change | |
|---|---|---|---|
| |||
1 | 1 | | |
2 | 2 | | |
3 | | - | |
| 3 | + | |
4 | 4 | | |
5 | 5 | | |
6 | 6 | | |
| |||
This file was deleted.
0 commit comments