GV

GeezerVison

The World Wide Web, restored to 800 pixels of glory.

Home|About|Gaming cabinet|Archives|How it works|Starter sites

On this site

  • Sign in
  • ActionsCI/CD and automation
  • CodespacesCloud development environments
  • All Features
  • Documentation
  • Training
  • Certifications
  • Build with Copilot
  • Customize Copilot
  • Integrations
  • Trending repos
  • GitHub Sponsors
  • Developer articles
  • Enterprises

This view

  • Original page
  • New address

GeezerVison is showing github.com — GitHub - SummerSec/Static-Analysis: 静态分析笔记 Static-Analysis-Notes 程序分析笔记 资源分享

BranchesTags
Open more actions menu

Latest commit

 

History

17 Commits
17 Commits

Folders and files

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

Repository files navigation

Static-Analysis

静态分析笔记 Static-Analysis-Notes 程序分析笔记 资源分享

👉点击链接加入 ReadPaper Static-Analysis 论文共享小组 目前已满

由于小组成员数量上限两百,目前官方在考虑是否扩容。

没有加入小组成员可以直接

git clone [email protected]:SummerSec/Static-Analysis.git

然后将所有的pdf上传到readpaper也是一样的。

项目会同步小组内所有的pdf。

FAQ问题 1. 关于上传新的pdf,请同步发送给组长或者管理员邮箱,目前管理员位置空缺,现招募管理员。条件及时更新pdf和会使用git 提交pr。pdf和申请管理员请发送邮件到邮箱c3N1bW1lcnNlY0BnbWFpbC5jb20=
2. 目前小组成员数量上限是两百,目前无法扩容。
3. 关于无法查看的pdf说明,直接去GitHub仓库下载对应的pdf,然后上传即可查看。(官方的解决方案)
4. 关于readpaper使用常见问题答疑:
https://docs.qq.com/sheet/DVU1mQU1FT3ZNckZO?tab=BB08J2 由于readpaper 设置了《我上传的PDF别人能看么?》 所以小组添加论文,如果是在readpaper公开请直接添加,如果没公开请同步提交到GitHub项目中。以issue、pr等形式均可。目前小组还在初建阶段,很多规则还不完善。还请大家见谅,一起学习,一起进步!
5. 关于加强交流,现在大家征求建议。

About

静态分析笔记 Static-Analysis-Notes 程序分析笔记 资源分享

Resources

Readme
GPL-3.0 license
Activity

Stars

187 stars

Watchers

6 watching

Forks

19 forks
Report repository

Releases

Packages

Contributors

You are visitor 01402503 — GeezerVison does not store the pages you look up.
Best viewed with Netscape Navigator 4.7 or Internet Explorer 6 at 800×600. No cookies required.