katyacyfra

katyacyfra's Stars

• swisskyrepo/PayloadsAllTheThings

  A list of useful payloads and bypass for Web Application Security and Pentest/CTF

  Language:Python61.5k1.8k014.7k

• facebook/infer

  A static analyzer for Java, C, C++, and Objective-C

  Language:OCaml15k6021.4k2k

• BerriAI/litellm

  Python SDK, Proxy Server (LLM Gateway) to call 100+ LLM APIs in OpenAI format - [Bedrock, Azure, OpenAI, VertexAI, Cohere, Anthropic, Sagemaker, HuggingFace, Replicate, Groq]

  Language:Python14.1k763.6k1.7k

• NVIDIA/garak

  the LLM vulnerability scanner

  Language:Python2.7k27588234

• jar-analyzer/jar-analyzer

  Jar Analyzer - 一个JAR包分析工具，批量分析，SCA漏洞分析，方法调用关系搜索，字符串搜索，Spring组件分析，信息泄露检查，CFG程序分析，JVM栈帧分析，进阶表达式搜索，字节码指令级的动态调试分析，反编译JAR包一键导出，一键提取序列化数据恶意代码，一键分析BCEL字节码

  Language:Java1.1k990103

• hisxo/ReconAIzer

  A Burp Suite extension to add OpenAI (GPT) on Burp and help you with your Bug Bounty recon to discover endpoints, params, URLs, subdomains and more!

  Language:Python830101098

• travitch/whole-program-llvm

  A wrapper script to build whole-program LLVM bitcode files

  Language:Python69229100126

• githubnext/testpilot

  Test generation using large language models

  Language:TypeScript52214540

• ucsb-seclab/karonte

  Karonte is a static analysis tool to detect multi-binary vulnerabilities in embedded firmware

  Language:Python392222260

• isstac/kelinci

  AFL-based fuzzing for Java

  Language:Java234131253

• soot-oss/heros

  IFDS/IDE Solver for Soot and other frameworks

  Language:Java232222486

• Orange-Cyberdefense/grepmarx

  A source code static analysis platform for AppSec enthusiasts.

  Language:Python2045823

• secureIT-project/CVEfixes

  CVEfixes: Automated Collection of Vulnerabilities and Their Fixes from Open-Source Software

  Language:Python20471052

• CGCL-codes/SCVDT

  Source Code Vulnerability Detection Tools（SCVDT）provides a vulnerable code database, vulnerability detection service for Java and C/C++ programs, and other security service.

  Language:C1108115

• tuhh-softsec/vul4j

  Vul4J: A Dataset of Reproducible Java Vulnerabilities

  Language:Python6831223

• Vul-LMGNN/vul-LMGGNN

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

  Language:Python391410

• program-analysis-team/cooddy

  Source code (C,C++,Java) static analysis tool

  Language:C++385116

• secure-software-engineering/PointerBench

  A points-to and alias analysis benchmark suite

  Language:Java36917

• cdaller/security_taint_propagation

  Java taint propagation for java. Define tainted sources, sanitizer methods and sinks via aspects.

  Language:Java275410

• niklasrisse/LimitsOfML4Vuln

  Language:Python24105

• s3c2/vfcfinder

  VFCFinder: Searching for the Missing Vulnerability Fixing Commits

  Language:Python21305

• UnitTestBot/jacodb

  fast and effective way to access and analyze java bytecode

  Language:Kotlin21511515

• UnitTestBot/usvm

  Universal Symbolic Virtual Machine

  Language:Kotlin2156020

• BBerabi/deepcode_ai_fix

  100

• CheckmarxDev/JavaVulnerableLab

  lab

  Language:Java84161

• sysrel/PROMPT

  PROMPT: API model guided symbolic execution for component-level analysis

  Language:SWIG6103

• stschott/jess

  Language:Java4100

• CSworkspace/RepresentThemALL

  A pre-trained language model for bug reports~

  Language:Python220

• lahiri-phdworks/KLEE-KQueryParser

  A KQuery parser for KLEE KQuery. Tool for KLEE symbolic execution enthusiasts.

  Language:Python2210

• UnitTestBot/byteflow

  Language:Kotlin2301