This repository offers a comprehensive collection of tutorials and implementations for Prompt Engineering techniques, ranging from fundamental concepts to advanced strategies. It serves as an essen…

This repository showcases various advanced techniques for Retrieval-Augmented Generation (RAG) systems. RAG systems combine information retrieval with generative models to provide accurate and cont…

This repository provides tutorials and implementations for various Generative AI Agent techniques, from basic to advanced. It serves as a comprehensive guide for building intelligent, interactive A…

A **command-line interface (CLI) version** of [RIPS v0.5](https://github.com/ripsscanner/rips) – a static source code analyzer for detecting vulnerabilities in PHP applications.

A simple command line tool for text to image generation, using OpenAI's CLIP and a BigGAN. Technique was originally created by https://twitter.com/advadnoun

LangChain 的中文入门教程

Agentic LLM Vulnerability Scanner / AI red teaming kit 🧪

Code security scanning tool (SAST) to discover, filter and prioritize security and privacy risks.

collect related papers

A library for working with Bitcoin

Program Analisys and Transformation survey and links (particular focus on SSA)

软件工程与形式化方法相关前沿工作阅读与分享

Code for the paper - Source Code Vulnerability Detection: Combining Code Language Models and Code Property Graph

Attack Surface Analyzer can help you analyze your operating system's security configuration for changes during software installation.

Symbolic PathFinder

A symbolic Java virtual machine for program analysis, verification and test generation

Getting started with static program analysis. 静态程序分析入门教程。

Symbolic PathFinder

Java is Growing up but not only Java。Java成长路线，但学到不仅仅是Java。

Java Native Access

LLMDFA: Analyzing Dataflow in Code with Large Language Models

APT & CyberCriminal Campaign Collection

安全场景、基于AI的安全算法和安全数据分析业界实践

An SMT Solver for string constraints

PDF references add-on for Zotero.

收集一些比较优秀的开源安全项目，以帮助甲方安全从业人员构建企业安全能力。