Alternatives and similar repositories for RAG_tutorial

Users that are interested in RAG_tutorial are comparing it to the libraries listed below

• ChunghaSung / intAbs

  View on GitHub
  Repository for ASE 2017 paper, "Modular Verification of Interrupt-driven Software".
  ☆11May 20, 2019Updated 6 years ago
• ddgoodgood / TRCE

  View on GitHub
  The official implementation of paper "TRCE: Towards Reliable Malicious Concept Erasure in Text-to-Image Diffusion Models"
  ☆15Mar 11, 2025Updated 11 months ago
• jimocode / CodeInspector

  View on GitHub
  基于Java ASM技术和GadgetInspector的原理，尝试实现一个自动Java代码审计工具。目前做到了可控参数分析和数据流跟踪分析
  ☆39Oct 26, 2021Updated 4 years ago
• cuplv / dai

  View on GitHub
  DAI: Demanded Abstract Interpretation
  ☆16Sep 23, 2024Updated last year
• fengcc / ProgramSlicing

  View on GitHub
  Simply C program slicing tool in C
  ☆10Jun 19, 2015Updated 10 years ago
• rbonifacio / svfa-scala

  View on GitHub
  An implementation of sparse-value flow analysis on top of soot (using Scala)
  ☆10Dec 12, 2024Updated last year
• PurduePL / purduepl.github.io

  View on GitHub
  A blog of Programming Languages Group @Purdue
  ☆11Updated this week
• happyincent / Functional-Programming-in-C

  View on GitHub
  https://hackmd.io/s/r1SgsdF3X
  ☆10Dec 21, 2018Updated 7 years ago
• k6ymaker / NJU-static-program-analysis-node

  View on GitHub
  ☆11Mar 19, 2022Updated 3 years ago
• microsoft / NeuralInvariantRanker

  View on GitHub
  Ranking LLM-Generated Loop Invariants for Program Verification.
  ☆12Aug 20, 2024Updated last year
• 92ganesh / Moss-Plagarism-Checker

  View on GitHub
  compare software similarity using MOSS
  ☆11Jun 23, 2019Updated 6 years ago
• bhumbers / optcomp

  View on GitHub
  CMU 15-745 Spring 2014
  ☆10Mar 7, 2014Updated 11 years ago
• secure-software-engineering / ideal

  View on GitHub
  IDE/AL - Alias-Aware Framework for Interprocedural Dataflow Analysis
  ☆10Mar 10, 2018Updated 7 years ago
• ybonjour / Data-Flow-Analysis

  View on GitHub
  ☆10Aug 16, 2012Updated 13 years ago
• swissiety / JimpleLSP

  View on GitHub
  This is an implementation of the Language Server Protocol for Jimple. It enables your IDE to provide code exploring features while workin…
  ☆12Dec 15, 2023Updated 2 years ago
• patrick-petrovic / visualDFA

  View on GitHub
  VisualDFA is a sophisticated educational tool for interactively visualizing data-flow analyses using Java/Jimple.
  ☆12Sep 14, 2017Updated 8 years ago
• secure-software-engineering / SPDS-experiments

  View on GitHub
  ☆11Oct 10, 2018Updated 7 years ago
• ivicanikolicsg / SivoFuzzer

  View on GitHub
  Grey-box fuzzer SIVO
  ☆13Jul 11, 2021Updated 4 years ago
• seahorn / seahorn-tutorial

  View on GitHub
  Supplementary files for SSFT 2015 summer school
  ☆11Sep 5, 2019Updated 6 years ago
• AntSwordProject / AntSword-JSP-Decoder

  View on GitHub
  Jsp Decoder Source Code
  ☆16Mar 23, 2021Updated 4 years ago
• wh1tor / getsystem-for-cobaltstrike

  View on GitHub
  Use powershell to getsystem with token dumplication
  ☆10Dec 6, 2019Updated 6 years ago
• iflody / codeql-workshop

  View on GitHub
  ☆12Aug 5, 2021Updated 4 years ago
• maTHmU / UI

  View on GitHub
  ☆13Oct 4, 2015Updated 10 years ago
• secure-software-engineering / Boomerang

  View on GitHub
  Demand-Driven Pointer Analysis
  ☆14Feb 9, 2026Updated last week
• cn-panda / ThymeleafSSTIBypass

  View on GitHub
  Thymeleaf SSTI Bypass
  ☆13Nov 24, 2021Updated 4 years ago
• ISRC-CAS / PLCT-OpenDay-2020

  View on GitHub
  PLCT实验室2020年开放日活动的演讲资料
  ☆13Dec 29, 2020Updated 5 years ago
• slasser / CoStar

  View on GitHub
  A parser based on the ALL(*) algorithm, implemented and verified in Coq.
  ☆13Feb 14, 2023Updated 3 years ago
• softwarelanguageslab / maf

  View on GitHub
  Static Analysis Framework for Modular Analyses
  ☆13Jan 17, 2026Updated 3 weeks ago
• X1r0z / hessian-overlong-encoding

  View on GitHub
  Hessian UTF-8 Overlong Encoding
  ☆21Mar 9, 2024Updated last year
• kisslune / POCR

  View on GitHub
  ☆16Jun 21, 2024Updated last year
• secure-software-engineering / authcheck

  View on GitHub
  Analysis for access-control vulnerabilities in Java Spring Security applications.
  ☆14May 25, 2022Updated 3 years ago
• timmyyuan / Security-Papers

  View on GitHub
  Security papers about software vulnerabilities and exploits
  ☆14Jan 16, 2019Updated 7 years ago
• X-czh / Java2Cpp-Translator

  View on GitHub
  Java to C++ Translator
  ☆12Jun 28, 2020Updated 5 years ago
• ryohare / fortify-structural-rules-guide

  View on GitHub
  A technique for developing Fortify structural rules and characterization rules.
  ☆14Dec 2, 2019Updated 6 years ago
• ghost5egy / Shellcode-Ghost

  View on GitHub
  ☆13Jul 24, 2022Updated 3 years ago
• secure-software-engineering / Jimple-Interpreter

  View on GitHub
  Soot based Jimple interpreter
  ☆14Mar 31, 2021Updated 4 years ago
• amaurremi / IDE

  View on GitHub
  Interprocedural Distributive Environment algorithm implementation
  ☆16Jul 16, 2015Updated 10 years ago
• wimkeir / graft

  View on GitHub
  A static analysis tool for Java programs, based on the theory of code property graphs.
  ☆18Mar 27, 2023Updated 2 years ago
• su18 / Xstream

  View on GitHub
  payloads
  ☆15Mar 17, 2021Updated 4 years ago