stg-tud/apsa external links

---

GitHub - View repository

GitHub.dev - Open in online code editor

Star history - Growth chart over time

deps.dev - Dependencies and security vulnerabilities

Gitingest - Export source code for LLM usage

Repomix - Export source code for LLM usage

uithub - Export source code for LLM usage

Close

stg-tud/apsa

Readme badge preview -

If you own this repo, copy the snippet below and add it to your README.md

---

Copy

[![RelatedRepos](https://img.shields.io/badge/related-repos-yellow)](https://relatedrepos.com/gh/stg-tud/apsa)

Close

stg-tud / apsaView on GitHubMore

• External links
• Readme badge

Applied Static Analysis

☆11Aug 26, 2019Updated 6 years ago

Alternatives and similar repositories for apsa

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

• SVF-tools / Teaching-Software-Verification

  View on GitHub
  Teaching and Learning Software Verification via SVF
  ☆36Feb 17, 2026Updated 2 weeks ago
• AnyMarvel / WeChatLuckyMoney

  View on GitHub
  ☆13Aug 9, 2017Updated 8 years ago
• Blaklis / my-challenges

  View on GitHub
  Those are my challenges for multiple CTF!
  ☆10Mar 17, 2024Updated last year
• charliermarsh / OCaml-SAT-Solvers

  View on GitHub
  An OCaml implementation of the DPLL algorithm for solving SAT instances. Uses nothing beyond the OCaml List library.
  ☆19Sep 5, 2014Updated 11 years ago
• csienslab / icLibFuzzer

  View on GitHub
  ☆12Feb 20, 2021Updated 5 years ago
• Zachary-Lingle / ethsta_staking_analysis

  View on GitHub
  ☆10Jul 18, 2022Updated 3 years ago
• DieracDelta / DuckeeGO

  View on GitHub
  Concolic Exection Engine for Golang
  ☆10May 16, 2018Updated 7 years ago
• arsalhuda24 / LSTM-autoencoders-for-Trajectory-Prediction

  View on GitHub
  ☆11Mar 6, 2021Updated 4 years ago
• PSPReverse / PSPTrace

  View on GitHub
  correlate an SPI capture of an AMD boot procedure to the PSP firmware components
  ☆15Jan 13, 2026Updated last month
• langston-barrett / souffle-lint

  View on GitHub
  A linter for Soufflé Datalog
  ☆17Apr 1, 2024Updated last year
• abstract-machine-learning / saver

  View on GitHub
  SVM Abstrac Verifier tool
  ☆12Oct 13, 2022Updated 3 years ago
• gamozolabs / bridengroom

  View on GitHub
  Windows Heap Loggin'
  ☆11Aug 12, 2020Updated 5 years ago
• RadioStudent / RadioStudent-Android

  View on GitHub
  Mobile app for streaming our favorite local radio station in Ljubljana, Slovenia
  ☆14May 16, 2021Updated 4 years ago
• franzflasch / leiwand_rv32

  View on GitHub
  RISC-V RV32I CPU written in verilog
  ☆10Jul 11, 2020Updated 5 years ago
• zanderso / cil-template

  View on GitHub
  A simple tutorial about how to use the CIL compiler frontend
  ☆12Feb 10, 2025Updated last year
• peter-lawrey-admin / Exception-Handler

  View on GitHub
  Open a browser with a message about an Exception.
  ☆10Apr 8, 2016Updated 9 years ago
• hpides / thesis-proposal-template

  View on GitHub
  This is a Latex template for thesis proposals at the Data Engineering Systems Group.
  ☆10Mar 19, 2025Updated 11 months ago
• chains-project / goleash

  View on GitHub
  Runtime enforcement of software supply chain capabilities in Go
  ☆19Nov 12, 2025Updated 3 months ago
• hypirion / beckon

  View on GitHub
  Handle POSIX signals in Clojure.
  ☆22Dec 29, 2013Updated 12 years ago
• VecherVhatuX / learning_data_science_in_prison

  View on GitHub
  ☆12Mar 21, 2025Updated 11 months ago
• andijakl / HeartAR

  View on GitHub
  ARCore sample project that visualizes the human heart on a marker and allows to freely place and transform nerve cells.
  ☆12Jul 20, 2020Updated 5 years ago
• s-e-p / uboot-env

  View on GitHub
  Utility for modifying saved U-Boot environment variables on devices or images
  ☆10Jun 3, 2022Updated 3 years ago
• 0ops / ctfs-2021

  View on GitHub
  ☆10Feb 3, 2021Updated 5 years ago
• silentsignal / SemGWT

  View on GitHub
  Semgrep rules to identify GWT attack surface
  ☆12Apr 28, 2022Updated 3 years ago
• MathieuCayssol / DimReductionClustering

  View on GitHub
  ☆10Apr 2, 2024Updated last year
• mdulin2 / mangle

  View on GitHub
  Repository for dealing with Malloc mangling functions
  ☆12Jun 11, 2020Updated 5 years ago
• cage433 / maker

  View on GitHub
  How hard could it be to replace SBT?
  ☆59Sep 4, 2020Updated 5 years ago
• jinty / zgres

  View on GitHub
  Postgres Failover and Management with ZooKeeper
  ☆11Aug 14, 2018Updated 7 years ago
• meme / sumo

  View on GitHub
  Binary Ninja MLIL to LLVM IR lifter
  ☆15May 8, 2021Updated 4 years ago
• czarneckid / delicious-java

  View on GitHub
  Java library for interacting with del.icio.us service
  ☆14Jan 10, 2010Updated 16 years ago
• openpreserve / bitwiser

  View on GitHub
  Bitwise analysis tools
  ☆15Feb 5, 2019Updated 7 years ago
• nokia / web-assembly-self-certifying-compilation-framework

  View on GitHub
  ☆13Oct 22, 2020Updated 5 years ago
• rated-network / eth2REKT

  View on GitHub
  A twitter bot that reports slashing events on the eth2 network (with a special twist)
  ☆12Jun 11, 2021Updated 4 years ago
• xiangruhuang / PCSeqLearning

  View on GitHub
  Representation Learning for Object Detection from Unlabeled Point Cloud Sequences
  ☆14Aug 15, 2023Updated 2 years ago
• coredump-ch / intro-to-rust

  View on GitHub
  Intro-presentation about Rust.
  ☆11Oct 16, 2019Updated 6 years ago
• avito-tech / skytools

  View on GitHub
  Generic Queue and Replication for PostgreSQL
  ☆11Nov 2, 2017Updated 8 years ago
• martinschaef / bixie

  View on GitHub
  Inconsistent Code Detection for Java
  ☆11Nov 3, 2020Updated 5 years ago
• qltysh-archive / codeclimate-pmd

  View on GitHub
  ☆13Apr 23, 2025Updated 10 months ago
• gousaiyang / icslabs

  View on GitHub
  Lab assignments of ICS course.
  ☆10Sep 18, 2020Updated 5 years ago