parper

SummerSec · Jan 12, 2022 · 0c9c90f · 0c9c90f
1 parent 622e7f1
commit 0c9c90f
Show file tree

Hide file tree

Showing 10 changed files with 0 additions and 0 deletions.
diff --git a/01-IFDS-precise interprocedural data flow analysis via graph reach ability.pdf b/01-IFDS-precise interprocedural data flow analysis via graph reach ability.pdf
diff --git a/...DE-Precise interprocedure dataflow analysis with applications to constant propagation.pdf b/...DE-Precise interprocedure dataflow analysis with applications to constant propagation.pdf
diff --git a/03-Inter-procedural data-flow analysis with IFDS(IDE) and Soot.pdf b/03-Inter-procedural data-flow analysis with IFDS(IDE) and Soot.pdf
diff --git a/04-Scaling Java points-to analysis using SPARK.pdf b/04-Scaling Java points-to analysis using SPARK.pdf
diff --git a/05-IDEal-Efficient and Precise Alias-aware Dataflow Analysis.pdf b/05-IDEal-Efficient and Precise Alias-aware Dataflow Analysis.pdf
diff --git a/06-boomerang-Demand-Driven Flow- and Context-Sensitive Pointer Analysis for Java.pdf b/06-boomerang-Demand-Driven Flow- and Context-Sensitive Pointer Analysis for Java.pdf
diff --git a/...xt Flow Field Object-sensitive and Lifecycle-aware Taint Analysis for Android Apps.pdf b/...xt Flow Field Object-sensitive and Lifecycle-aware Taint Analysis for Android Apps.pdf
diff --git a/08-FlowDroid-A Precise and Scalable Data Flow Analysis for Android.pdf b/08-FlowDroid-A Precise and Scalable Data Flow Analysis for Android.pdf
diff --git a/09-FlowDroid-Highly Precise Taint Analysis for Android Applications.pdf b/09-FlowDroid-Highly Precise Taint Analysis for Android Applications.pdf
diff --git a/10-VASCO-Interprocedural data flow analysis in soot using value contexts.pdf b/10-VASCO-Interprocedural data flow analysis in soot using value contexts.pdf