├── 01-IFDS-precise interprocedural data flow analysis via graph reach ability.pdf ├── 02-IDE-Precise interprocedure dataflow analysis with applications to constant propagation.pdf ├── 03-Inter-procedural data-flow analysis with IFDS(IDE) and Soot.pdf ├── 04-Scaling Java points-to analysis using SPARK.pdf ├── 05-IDEal-Efficient and Precise Alias-aware Dataflow Analysis.pdf ├── 06-boomerang-Demand-Driven Flow- and Context-Sensitive Pointer Analysis for Java.pdf ├── 07-Flowdroid-Precise Context Flow Field Object-sensitive and Lifecycle-aware Taint Analysis for Android Apps.pdf ├── 08-FlowDroid-A Precise and Scalable Data Flow Analysis for Android.pdf ├── 09-FlowDroid-Highly Precise Taint Analysis for Android Applications.pdf ├── 10-VASCO-Interprocedural data flow analysis in soot using value contexts.pdf ├── DietrichJezekRasheedTahirPotaninECOOP2017.pdf ├── Formal Patterns in Java Programs.pdf ├── JavaDL Automatically Incrementalizing Java Bug Pattern Detection.pdf ├── LICENSE ├── LIPIcs-ECOOP-2016-2.pdf ├── QL_Object-Oriented_Queries_Made_Easy.pdf ├── README.md ├── SANER17-srcQL.pdf ├── Static Program Analysis.pdf ├── algebraic-data-types.pdf ├── jlrs-toplas10.pdf ├── ptaint-oopsla17-prelim.pdf ├── ql-for-source-code-analysis.pdf ├── sas07.projection.pdf ├── 南大软件分析（二）-理解程序静态分析和数据流分析.pdf └── 基于控制流分析和数据流分析的Java程序静态分析方法.pdf /01-IFDS-precise interprocedural data flow analysis via graph reach ability.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SummerSec/Static-Analysis/HEAD/01-IFDS-precise interprocedural data flow analysis via graph reach ability.pdf -------------------------------------------------------------------------------- /02-IDE-Precise interprocedure dataflow analysis with applications to constant propagation.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SummerSec/Static-Analysis/HEAD/02-IDE-Precise interprocedure dataflow analysis with applications to constant propagation.pdf -------------------------------------------------------------------------------- /03-Inter-procedural data-flow analysis with IFDS(IDE) and Soot.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SummerSec/Static-Analysis/HEAD/03-Inter-procedural data-flow analysis with IFDS(IDE) and Soot.pdf -------------------------------------------------------------------------------- /04-Scaling Java points-to analysis using SPARK.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SummerSec/Static-Analysis/HEAD/04-Scaling Java points-to analysis using SPARK.pdf -------------------------------------------------------------------------------- /05-IDEal-Efficient and Precise Alias-aware Dataflow Analysis.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SummerSec/Static-Analysis/HEAD/05-IDEal-Efficient and Precise Alias-aware Dataflow Analysis.pdf -------------------------------------------------------------------------------- /06-boomerang-Demand-Driven Flow- and Context-Sensitive Pointer Analysis for Java.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SummerSec/Static-Analysis/HEAD/06-boomerang-Demand-Driven Flow- and Context-Sensitive Pointer Analysis for Java.pdf -------------------------------------------------------------------------------- /07-Flowdroid-Precise Context Flow Field Object-sensitive and Lifecycle-aware Taint Analysis for Android Apps.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SummerSec/Static-Analysis/HEAD/07-Flowdroid-Precise Context Flow Field Object-sensitive and Lifecycle-aware Taint Analysis for Android Apps.pdf -------------------------------------------------------------------------------- /08-FlowDroid-A Precise and Scalable Data Flow Analysis for Android.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SummerSec/Static-Analysis/HEAD/08-FlowDroid-A Precise and Scalable Data Flow Analysis for Android.pdf -------------------------------------------------------------------------------- /09-FlowDroid-Highly Precise Taint Analysis for Android Applications.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SummerSec/Static-Analysis/HEAD/09-FlowDroid-Highly Precise Taint Analysis for Android Applications.pdf -------------------------------------------------------------------------------- /10-VASCO-Interprocedural data flow analysis in soot using value contexts.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SummerSec/Static-Analysis/HEAD/10-VASCO-Interprocedural data flow analysis in soot using value contexts.pdf -------------------------------------------------------------------------------- /DietrichJezekRasheedTahirPotaninECOOP2017.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SummerSec/Static-Analysis/HEAD/DietrichJezekRasheedTahirPotaninECOOP2017.pdf -------------------------------------------------------------------------------- /Formal Patterns in Java Programs.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SummerSec/Static-Analysis/HEAD/Formal Patterns in Java Programs.pdf -------------------------------------------------------------------------------- /JavaDL Automatically Incrementalizing Java Bug Pattern Detection.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SummerSec/Static-Analysis/HEAD/JavaDL Automatically Incrementalizing Java Bug Pattern Detection.pdf -------------------------------------------------------------------------------- /LICENSE: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SummerSec/Static-Analysis/HEAD/LICENSE -------------------------------------------------------------------------------- /LIPIcs-ECOOP-2016-2.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SummerSec/Static-Analysis/HEAD/LIPIcs-ECOOP-2016-2.pdf -------------------------------------------------------------------------------- /QL_Object-Oriented_Queries_Made_Easy.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SummerSec/Static-Analysis/HEAD/QL_Object-Oriented_Queries_Made_Easy.pdf -------------------------------------------------------------------------------- /README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SummerSec/Static-Analysis/HEAD/README.md -------------------------------------------------------------------------------- /SANER17-srcQL.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SummerSec/Static-Analysis/HEAD/SANER17-srcQL.pdf -------------------------------------------------------------------------------- /Static Program Analysis.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SummerSec/Static-Analysis/HEAD/Static Program Analysis.pdf -------------------------------------------------------------------------------- /algebraic-data-types.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SummerSec/Static-Analysis/HEAD/algebraic-data-types.pdf -------------------------------------------------------------------------------- /jlrs-toplas10.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SummerSec/Static-Analysis/HEAD/jlrs-toplas10.pdf -------------------------------------------------------------------------------- /ptaint-oopsla17-prelim.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SummerSec/Static-Analysis/HEAD/ptaint-oopsla17-prelim.pdf -------------------------------------------------------------------------------- /ql-for-source-code-analysis.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SummerSec/Static-Analysis/HEAD/ql-for-source-code-analysis.pdf -------------------------------------------------------------------------------- /sas07.projection.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SummerSec/Static-Analysis/HEAD/sas07.projection.pdf -------------------------------------------------------------------------------- /南大软件分析（二）-理解程序静态分析和数据流分析.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SummerSec/Static-Analysis/HEAD/南大软件分析（二）-理解程序静态分析和数据流分析.pdf -------------------------------------------------------------------------------- /基于控制流分析和数据流分析的Java程序静态分析方法.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SummerSec/Static-Analysis/HEAD/基于控制流分析和数据流分析的Java程序静态分析方法.pdf --------------------------------------------------------------------------------