This is the repository for JÄk. I created it as prototype during my masterthesis.
☆31Jan 22, 2018Updated 8 years ago
Alternatives and similar repositories for jAEk
Users that are interested in jAEk are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- This novel black-box web vulnerability scanner attempts to infer the state machine of the web application.☆19Mar 12, 2020Updated 6 years ago
- ☆65Apr 24, 2023Updated 3 years ago
- Crawljax: Crawling JavaScript-based Ajax Web Applications☆22Jan 27, 2026Updated 7 months ago
- ☆12Oct 5, 2022Updated 3 years ago
- CRash Scope (CRScope) is a ML-guided crash classifier of a given JavaScript engine crash-dump file.☆13Aug 28, 2019Updated 7 years ago
- Deploy on Railway without the complexity - Free Credits Offer • AdConnect your repo and Railway handles the rest with instant previews. Quickly provision container image services, databases, and storage volumes.
- Interpreter for inference rules☆14May 5, 2018Updated 8 years ago
- 手把手教你写IAST系列☆24Jan 12, 2024Updated 2 years ago
- yielding's portable code☆17Aug 10, 2026Updated last month
- MALOnt - an ontology for Malware Threat Intelligence.☆13Jul 8, 2021Updated 5 years ago
- JaVerT2.0 - Compositional Symbolic Execution for JavaScript☆20Apr 22, 2020Updated 6 years ago
- ☆12Jun 22, 2024Updated 2 years ago
- 自动化Google Hacking URL搜集工具☆10Apr 20, 2024Updated 2 years ago
- BGNN4VD: Constructing Bidirectional Graph Neural-Network for Vulnerability Detection☆10Oct 2, 2020Updated 5 years ago
- Specifically designed to solve the web crawler when collecting Internet web data who need to login the web-site by useing some Simulated…☆14Nov 30, 2016Updated 9 years ago
- GPUs on demand by Runpod - Special Offer Available • AdRun AI, ML, and HPC workloads on powerful cloud GPUs—without limits or wasted spend. Deploy GPUs in under a minute and pay by the second.
- Parser utility to generate ASTs from PHP source code suitable to be processed by Joern.☆37Apr 21, 2020Updated 6 years ago
- Exploration of primes, factorization and number theory through haskell☆10Oct 10, 2016Updated 9 years ago
- Animation of how Gradient Descent finds the local minimum. Demonstrate how learning rate and starting points affect Gradient Descent.☆15Feb 1, 2023Updated 3 years ago
- Adds a guard to disable ObjectInputStream.readObject☆11Dec 6, 2015Updated 10 years ago
- ☆19Feb 1, 2016Updated 10 years ago
- Efficient Conway's Game of Life implemented in Python using NumPy.☆14May 1, 2024Updated 2 years ago
- ☆11Nov 23, 2024Updated last year
- Proof assistant for Typographical Number Theory☆16Dec 15, 2015Updated 10 years ago
- AICE-associate 참고용☆16Jan 7, 2025Updated last year
- Deploy to Railway using AI coding agents - Free Credits Offer • AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- ☆16Feb 5, 2024Updated 2 years ago
- Cur dependently-typed language in miniKanren.☆17Jan 26, 2018Updated 8 years ago
- software archaeology of reflective towers of interpreters☆18Jun 6, 2025Updated last year
- Automatic tool using for crawling code to find low-hang fruit vulnerabilities - Based on OWASP Secure Code Review Guide☆21Aug 31, 2020Updated 6 years ago
- ☆31Jul 9, 2024Updated 2 years ago
- ☆17Jan 27, 2026Updated 7 months ago
- Working through the Book Lisp In Small Pieces☆13Jun 8, 2022Updated 4 years ago
- miniKanren with a first-order representation of the search space☆16Mar 11, 2026Updated 6 months ago
- ☆15Jul 30, 2024Updated 2 years ago
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting for WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Deploy in minutes on Cloudways by DigitalOcean.
- This repo contains the data and codes for the paper submitted to ACM TKDD, titled "A Compact Vulnerability Knowledge Graph for Risk Asses…☆18Mar 8, 2023Updated 3 years ago
- 基于Python爬虫的CNNVD漏洞信息监控脚本——Cnnvd_monitor，实现了对CNNVD官网平台的实时监控、数据获取、入库、并用微信进行实时推送、并将获取的数据进行Web端表格展示。☆15Aug 9, 2021Updated 5 years ago
- ☆18Dec 2, 2018Updated 7 years ago
- A LaTeX package for commenting multi-author documents☆12Feb 12, 2015Updated 11 years ago
- A language and tool for relational models☆12Jul 20, 2017Updated 9 years ago
- ☆14Apr 5, 2023Updated 3 years ago
- A sample vulnerable driver that emulates kernel mode vulnerabilities.☆19Jan 30, 2016Updated 10 years ago