Skip to content

IoTAccessControl/LLMForStaticAnalysis

Folders and files

NameName
Last commit message
Last commit date

Latest commit

 

History

15 Commits
 
 
 
 
 
 
 
 
 
 
 
 
 
 

Repository files navigation

依赖安装

  1. 安装miniconda
    下载和安装:https://repo.anaconda.com/miniconda/
    创建python env:
conda create -n agent-dev python=3.14
conda activate agent-dev 
  1. 安装本项目的依赖
pip install -r requirements.txt
  1. 注册QWen API
    https://bailian.console.aliyun.com/?tab=model#/api-key

开发和运行项目

探索LLM的静态分析能力,

LLMDFA: Analyzing Dataflow in Code with Large Language Models https://chengpeng-wang.github.io/publications/LLMDFA_NeurIPS2024.pdf

CORE: Benchmarking LLMs’ Code Reasoning Capabilities through Static Analysis Tasks

  1. 去找测试用例

  2. 尝试模仿CORE基于LLM去实现数据流分析和程序切片

About

LLM-based Static Analysis

Resources

Stars

1 star

Watchers

0 watching

Forks

Releases

No releases published

Packages

 
 
 

Contributors