libsa4py

簡介

LibSA4Py是Python的靜態分析庫，它提取了基於訓練ML的類型推理模型的類型提示和功能。

• 要求
• 快速安裝
• 用法
  • 處理項目
  • 合併項目
• JSON輸出

要求

• Python 3.7或更新（建議使用Python 3.8）
• 守望者（用於跑步的Pyre）[可選]
• MACOS或Linux系統

快速安裝

 git clone https://github.com/saltudelft/libsa4py.git
cd libsa4py && pip install .

用法

處理項目

給定Python存儲庫，請運行以下命令來處理源代碼文件並生成JSON-Formatted Outputs：

 libsa4py process --p $REPOS_PATH --o $OUTPUT_PATH --d $DUPLICATE_PATH --j $WORKERS_COUNT --l $LIMIT --c --no-nlp --pyre

描述：

• --p $REPOS_PATH ：Python語料庫或數據集的路徑。
• --o $OUTPUT_PATH ：存儲已處理項目的路徑。
• --d $DUPLICATE_PATH ：給定數據集的重複文件的路徑（即CD4PY工俱生成的JSONL.GZ文件）。 [選修的]
• --s ：通往CSV文件的路徑，用於分解給定數據集。 [選修的]
• --j $WORKERS_COUNT ：處理項目的工人數量。 [可選，默認值= no。可用的CPU核心]
• --l $LIMIT ：要處理的項目數量。 [選修的]
• --c ：是否忽略處理的項目。 [可選，默認= false]
• --no-nlp ：是否將標準NLP技術應用於提取的標識符。 [可選，默認= true]
• --pyre ：是否要運行pyre來推斷給定項目的變量類型。 [可選，默認= false]
• --tc ：是否要在項目中輸入檢查類型註釋。 [可選，默認= false]

合併項目

要將所有處理過的JSON-Formatted項目合併到一個單個數據框架中，請運行以下命令：

 libsa4py merge --o $OUTPUT_PATH --l $LIMIT

描述：

• --o $OUTPUT_PATH ：在上一個處理步驟中使用的處理已處理項目的路徑。
• --l $LIMIT ：要合併的項目數量。 [選修的]

應用類型

要將PYRE的推斷類型應用於項目，請運行以下命令：

 libsa4py apply --p $REPOS_PATH --o $OUTPUT_PATH

描述：

• --p $REPOS_PATH ：Python語料庫或數據集的路徑。
• --o $OUTPUT_PATH ：在上一個處理步驟中使用的處理已處理項目的路徑。

JSON輸出

處理每個項目後，產生了一個json形式的文件，此處描述了。