katyacyfra

katyacyfra's Stars

• s2e-lab/SecurityEval

  Repository for "SecurityEval Dataset: Mining Vulnerability Examples to Evaluate Machine Learning-Based Code Generation Techniques" published in MSR4P&S'22.

  Language:Python5513

• proganalysis/type-inference

  Automatically exported from code.google.com/p/type-inference

  Language:Java2623

• morpheuslord/GPT_Vuln-analyzer

  Uses ChatGPT API, Bard API, and Llama2, Python-Nmap, DNS Recon, PCAP and JWT recon modules and uses the GPT3 model to create vulnerability reports based on Nmap scan data, and DNS scan information. It can also perform subdomain enumeration to a great extent

  Language:Python48856

• JoyChou93/java-sec-code

  Java web common vulnerabilities and security code which is base on springboot and spring security

  Language:Java2.4k650

• OscarRodriguezPrieto/ProgQuery

  ProgQuery is a system to extract useful syntactic and semantic information from source code programs and store it in a graph database for posterior querying.

  Language:Java154

• projectdiscovery/nuclei-templates

  Community curated list of templates for the nuclei engine to find security vulnerabilities.

  Language:JavaScript9.4k2.7k

• yeswehack/vulnerable-code-snippets

  Twitter vulnerable snippets

  Language:PHP941146

• snoopysecurity/Vulnerable-Code-Snippets

  A small collection of vulnerable code snippets

  Language:PHP703599

• WebGoat/WebGoat

  WebGoat is a deliberately insecure application

  Language:JavaScript7.1k5.6k

• UnitTestBot/UTBotJava

  Automated unit test generation and precise code analysis for Java

  Language:Kotlin13744

• kisslune/POCR

  Language:C++127

• tree-sitter/tree-sitter

  An incremental parsing system for programming tools

  Language:Rust18.8k1.5k

• gsvgit/CFPQ_GLL

  Language:F#22

• frankmcsherry/differential-dataflow

  An implementation of differential dataflow using timely dataflow on Rust.

  Language:Rust1627

• vmware/differential-datalog

  DDlog is a programming language for incremental computation. It is well suited for writing programs that continuously update their output in response to input changes. A DDlog programmer does not write incremental algorithms; instead they specify the desired input-output mapping in a declarative manner.

  Language:Java1.4k119

• eth-sri/securify2

  Securify v2.0

  Language:Solidity589135

• FormalLanguageConstrainedPathQuerying/CFPQ_Data

  Graphs and grammars for Context-Free Path Querying algorithms evaluation.

  Language:Python1015

• sosy-lab/java-smt

  JavaSMT - Unified Java API for SMT solvers.

  Language:Java18745

• vadyushkins/CFPQ_Algo

  Context-Free Path Querying Algorithms

  Language:C1

• FormalLanguageConstrainedPathQuerying/CFPQ_PyAlgo

  The collection of Context-Free Path Querying algorithms

  Language:Python1312

• papers-we-love/papers-we-love

  Papers from the computer science community to read and discuss.

  Language:Shell88.4k5.8k

• sslab-gatech/ArcHeap

  ArcHeap: Automatic Techniques to Systematically Discover New Heap Exploitation Primitives

  Language:C14617

• YaccConstructor/articles

  Papers sources, pictures, presentations, and other stuff

  Language:TeX2274

• shellphish/how2heap

  A repository for learning various heap exploitation techniques.

  Language:C7.3k1.1k

• matrix1001/heapinspect

  🔍Heap analysis tool for CTF pwn.

  Language:Python22120

• George66/Textbook

  Учебник теории категорий

  36324

• Changochen/algorithms_and_data_structures

  160+ Algorithm & Data Structure Problems using C++

  Language:C++11

• angr/heaphopper

  HeapHopper is a bounded model checking framework for Heap-implementations

  Language:Python21218