python-security/pyt

Use function summaries instead of inlining

Open

#187 opened on 2018年11月24日

GitHub で見る
 (0 comments) (0 reactions) (0 assignees)Python (2,141 stars) (259 forks)batch import
difficulthelp wanted

説明

We currently use inlining instead of summaries, for inter-procedural analysis, which makes PyT slower than it needs to be.

Here are some videos, specifically the last one, explains function summaries well: #57 Call Graphs #58 Interprocedural Data Flow Analysis #59 Procedure Summaries in Data Flow Analysis

コントリビューターガイド

技術スタック
python
領域
securityperformance
Issue 種別
performance
難度新しい貢献者にとっての実装難度です。1 は非常に小さな変更、5 は専門的な作業です。
3
推定時間経験ある貢献者が調査、実装、テスト、pull request 準備にかけるおおよその時間範囲です。
3-5 days
活動状況Issue が今どれだけ取り組みやすいかを示します。新しい、活発、古い、ブロック中、またはメンテナー入力待ちなどです。
stale
明確さ期待される変更、受け入れ条件、次の手順がどれだけ明確かを示します。
clear
前提条件
static analysisPython programmingdata flow analysis
初心者向け度初回貢献者にどれだけ取り組みやすいかを 1-100 で推定したスコアです。
35
調査方針
The current inlining implementation is in the pyt/cfg directory. Start by understanding how CFGs are built and where inlining occurs. Watch the linked videos on procedure summaries, especially the last one. Then design a summary based approach, possibly creating a new module for summaries and modifying the existing CFG construction to use them. The goal is to replace inlining with function calls to summaries, which should reduce analysis time.