secure-software-engineering/authcheck 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

secure-software-engineering/authcheck

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/secure-software-engineering/authcheck)

Close

secure-software-engineering / authcheckView on GitHubMore

• External links
• Readme badge

Analysis for access-control vulnerabilities in Java Spring Security applications.

☆14May 25, 2022Updated 4 years ago

Alternatives and similar repositories for authcheck

Users that are interested in authcheck are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.

• fast-sp-2023 / fast

  View on GitHub
  ☆31May 1, 2025Updated last year
• GDSSecurity / JSSE_Fortify_SCA_Rules

  View on GitHub
  Custom Fortify SCA rules to detect common JSSE certification validation flaws
  ☆11Nov 18, 2015Updated 10 years ago
• lazybootsafe / chinese-poetry

  View on GitHub
  最全中华古诗词数据库, 唐宋两朝近一万四千古诗人, 接近5.5万首唐诗加26万宋诗. 两宋时期1564位词人，21050首词。
  ☆13Feb 9, 2018Updated 8 years ago
• eddelbuettel / asioheaders

  View on GitHub
  R package providing Asio C++ library header files
  ☆13Apr 24, 2026Updated 2 months ago
• duo-labs / duo-blog-going-passwordless-with-py-webauthn

  View on GitHub
  ☆18Jan 29, 2025Updated last year
• Serverless GPU API endpoints on Runpod - Get Bonus Credits • Ad
  Skip the infrastructure headaches. Auto-scaling, pay-as-you-go, no-ops approach lets you focus on innovating your application.
• soot-oss / TaintAnalysis

  View on GitHub
  Taint analysis implementation based on Heros and Soot
  ☆45May 6, 2024Updated 2 years ago
• netdata / ebpf-co-re

  View on GitHub
  CO-RE code for the Netdata eBPF plugin.
  ☆16Jun 22, 2026Updated last week
• google / libtracecmd-rs

  View on GitHub
  Rust wrapper of libtracecmd
  ☆26Nov 2, 2023Updated 2 years ago
• iflody / codeql-workshop

  View on GitHub
  ☆12Aug 5, 2021Updated 4 years ago
• x0day / Multisearch-v2

  View on GitHub
  http://x0day.me/index.php/archives/multisearch-v2.html
  ☆25Aug 25, 2014Updated 11 years ago
• l3m0n / vulenv

  View on GitHub
  漏洞测试环境 - 方便写扫描器利用复现
  ☆27Aug 12, 2019Updated 6 years ago
• k6ymaker / NJU-static-program-analysis-node

  View on GitHub
  ☆11Mar 19, 2022Updated 4 years ago
• lprat / smuggling_detect

  View on GitHub
  Try to detect HTTP desync attack (https://portswigger.net/blog/http-desync-attacks-request-smuggling-reborn)
  ☆11Sep 20, 2019Updated 6 years ago
• jas502n / st2-046-poc

  View on GitHub
  st2-046-poc CVE-2017-5638
  ☆21Aug 17, 2018Updated 7 years ago
• Deploy on Railway without the complexity - Free Credits Offer • Ad
  Connect your repo and Railway handles the rest with instant previews. Quickly provision container image services, databases, and storage volumes.
• 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
• SpringJasmine / Jasmine

  View on GitHub
  ☆29Aug 30, 2022Updated 3 years ago
• cuplv / dai

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

  View on GitHub
  Doop - Framework for Java Pointer and Taint Analysis
  ☆19Dec 14, 2018Updated 7 years ago
• plast-lab / doop

  View on GitHub
  The official repo of Doop, the declarative pointer analysis framework.
  ☆216Updated this week
• PurduePL / purduepl.github.io

  View on GitHub
  A blog of Programming Languages Group @Purdue
  ☆12Updated this week
• PSU-Security-Universe / viper

  View on GitHub
  A tool for automatically identifying syscall-guard variables
  ☆38Feb 10, 2026Updated 4 months ago
• secure-software-engineering / SPDS-experiments

  View on GitHub
  ☆11Oct 10, 2018Updated 7 years ago
• ISRC-CAS / PLCT-OpenDay-2020

  View on GitHub
  PLCT实验室2020年开放日活动的演讲资料
  ☆13Dec 29, 2020Updated 5 years ago
• AI Agents on DigitalOcean Gradient AI Platform • Ad
  Build production-ready AI agents using customizable tools or access multiple LLMs through a single endpoint. Create custom knowledge bases or connect external data.
• untoldwind / oauth-proxy-rs

  View on GitHub
  Another reverse proxy that provides authentication with OpenID Connect
  ☆10Jul 10, 2023Updated 2 years ago
• ChunghaSung / intAbs

  View on GitHub
  Repository for ASE 2017 paper, "Modular Verification of Interrupt-driven Software".
  ☆12May 20, 2019Updated 7 years ago
• aashishkolluri / Ethracer

  View on GitHub
  ☆13May 27, 2019Updated 7 years ago
• hrbrmstr / account-analysis

  View on GitHub
  Twitter account analysis
  ☆15Sep 26, 2019Updated 6 years ago
• Greenwolf / postgres_cmd_execution_nine_three

  View on GitHub
  A Metasploit module which allows authenticated database users to perform command execution of PostgreSQL 9.3 > Latest Version
  ☆16May 8, 2019Updated 7 years ago
• MetaTrustLabs / GPTScan-DefiHacks

  View on GitHub
  Scanning Result of MetaScan's AI GPTScan Engine for 13 DefiHacks Projects under 10 Logic Vuln Types
  ☆15Aug 8, 2023Updated 2 years ago
• slasser / CoStar

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

  View on GitHub
  An Xtext DSL for EMF metamodels refactoring and migration
  ☆13Jun 23, 2026Updated last week
• chenyueqi / hotBPF

  View on GitHub
  ☆15Apr 28, 2023Updated 3 years ago
• Deploy to Railway using AI coding agents - Free Credits Offer • Ad
  Use Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
• timmyyuan / Security-Papers

  View on GitHub
  Security papers about software vulnerabilities and exploits
  ☆14Jan 16, 2019Updated 7 years ago
• secure-software-engineering / Boomerang

  View on GitHub
  Demand-Driven Pointer Analysis
  ☆14Jun 22, 2026Updated last week
• polarsignals / otel-profiling-go

  View on GitHub
  Easily connect distributed tracing with profiling data.
  ☆15Oct 15, 2024Updated last year
• rbonifacio / svfa-scala

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

  View on GitHub
  Evaluation code of ASE24 accepted paper "On the Evaluation of LLM in Unit Test Generation"
  ☆13Dec 9, 2024Updated last year
• SoftSec-KAIST / Smartian-Artifact

  View on GitHub
  Artifacts for Smartian, a grey-box fuzzer for Ethereum smart contracts.
  ☆16Jan 27, 2025Updated last year
• paketo-buildpacks / paketo-website

  View on GitHub
  Paketo Website Content
  ☆11Jun 19, 2026Updated last week