-
-
vulnhuntr Public
Forked from protectai/vulnhuntrZero shot vulnerability discovery using LLMs
Python GNU Affero General Public License v3.0 UpdatedOct 31, 2024 -
LLMDFA Public
Forked from chengpeng-wang/LLMDFALLMDFA: Analyzing Dataflow in Code with Large Language Models
-
LLMSAN Public
Forked from chengpeng-wang/LLMSANLLMSAN: Sanitizing Large Language Models in Bug Detection with Data-Flow
Java UpdatedOct 6, 2024 -
Agent4SE-Paper-List Public
Forked from FudanSELab/Agent4SE-Paper-ListRepository for the paper "Large Language Model-Based Agents for Software Engineering: A Survey".
2 UpdatedSep 25, 2024 -
CRAJobHarvester Public
Forked from ZhangZhuoSJTU/CRAJobHarvesterAI-powered web scraper for harvesting and analyzing Computing Research Association job listings.
Python MIT License UpdatedAug 27, 2024 -
-
CPBenchmark Public
This repo contains the bc and source files of C/C++ projects used for value-flow analysis. The LLVM IR is in the version of 3.6.2.
-
LLMsPracticalGuide Public
Forked from Mooler0410/LLMsPracticalGuideA curated list of practical guide resources of LLMs (LLMs Tree, Examples, Papers)
1 UpdatedApr 22, 2024 -
CodeFuse-Query Public
Forked from codefuse-ai/CodeFuse-QueryQL-Based Code Analysis Engine NOT only for CodeFuse training data quality
Jupyter Notebook Apache License 2.0 UpdatedDec 4, 2023 -
ityfuzz Public
Forked from fuzzland/ityfuzzBlazing Fast Bytecode-Level Hybrid Fuzzer for Smart Contracts
Rust MIT License UpdatedOct 1, 2023 -
smart-contract-best-practices Public
Forked from ConsenSysDiligence/smart-contract-best-practicesA guide to smart contract security best practices
UpdatedSep 10, 2023 -
FlowDroid Public
Forked from secure-software-engineering/FlowDroidFlowDroid Static Data Flow Tracker
Java GNU Lesser General Public License v2.1 UpdatedAug 28, 2023 -
cumulative-reasoning Public
Forked from iiis-ai/cumulative-reasoningOfficial implementation of paper "Cumulative Reasoning with Large Language Models"
Python UpdatedAug 28, 2023 -
ChatGLM-6B Public
Forked from THUDM/ChatGLM-6BChatGLM-6B: An Open Bilingual Dialogue Language Model | 开源双语对话语言模型
Python Apache License 2.0 UpdatedJun 25, 2023 -
SVF Public
Forked from SVF-tools/SVFStatic Value-Flow Analysis Framework for Source Code
C++ Other UpdatedJun 13, 2023 -
Vanguard Public
Forked from newworld7777/Vanguard-1Houses LLVM static analyzer and detectors for smart contracts
LLVM GNU General Public License v3.0 UpdatedMay 5, 2023 -
android-platforms Public
Forked from Sable/android-platformsA collection of all android.jar files for the different platform versions.
UpdatedApr 11, 2023 -
-
cs703-program-synthesis Public
Forked from lorisdanto/cse291-program-synthesis-lorisProgram synthesis class taught by Loris D'Antoni
MIT License UpdatedNov 1, 2022 -
pyzotero Public
Forked from urschrei/pyzoteroPyzotero: a Python client for the Zotero API
Python MIT License UpdatedSep 7, 2022 -
semantic Public
Forked from github/semanticParsing, analyzing, and comparing source code across many languages
Haskell UpdatedJul 22, 2022 -
Blockchain-dark-forest-selfguard-handbook Public
Forked from slowmist/Blockchain-dark-forest-selfguard-handbookBlockchain dark forest selfguard handbook. Master these, master the security of your cryptocurrency.
UpdatedApr 24, 2022 -
BinAbsInspector Public
Forked from KeenSecurityLab/BinAbsInspectorBinAbsInspector: Vulnerability Scanner for Binaries
Java GNU General Public License v3.0 UpdatedApr 20, 2022 -
magic-in-ten-mins-py Public
Forked from penguin-wwy/magic-in-ten-mins-py十分钟魔法练习 Python 版
Python Creative Commons Attribution 4.0 International UpdatedMar 11, 2022 -
sempre Public
Forked from percyliang/sempreSemantic Parser with Execution
Java Other UpdatedMar 3, 2022 -
snake-egg Public
Forked from egraphs-good/snake-eggPython bindings for egg
Rust UpdatedFeb 18, 2022 -
ruler Public
Forked from uwplse/rulerRewrite Rule Inference Using Equality Saturation
Rust MIT License UpdatedFeb 18, 2022 -
egraph-sqlite Public
Forked from yihozhang/egraph-sqliteegraph on top of sqlite
Racket UpdatedFeb 17, 2022 -