Static JavaScript Analysis: AST, Control Flow, Data Flow, & Pointer Analysis
☆29Feb 26, 2022Updated 4 years ago
Alternatives and similar repositories for static-pdg-js
Users that are interested in static-pdg-js are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- JavaScript Transformation Techniques Detection☆11Jun 14, 2021Updated 4 years ago
- ☆12Jul 9, 2024Updated last year
- ☆10Nov 9, 2023Updated 2 years ago
- ☆31May 1, 2025Updated last year
- Statically Detecting Vulnerable Data Flows in Browser Extensions at Scale☆82Nov 23, 2021Updated 4 years ago
- Deploy open-source AI quickly and easily - Special Bonus Offer • AdRunpod Hub is built for open source. One-click deployment and autoscaling endpoints without provisioning your own infrastructure.
- Syntactic detection of malicious (obfuscated) JavaScript files☆84Feb 1, 2020Updated 6 years ago
- Static data flow-based analysis of JavaScript files to detect syntactic clones☆23Mar 30, 2020Updated 6 years ago
- a dataflow analysis framework implemented in Go, like soot☆39Sep 22, 2022Updated 3 years ago
- Language-independent Synthesis of Firewall Policies☆26Jan 6, 2023Updated 3 years ago
- a project repository for a paper☆20May 4, 2024Updated 2 years ago
- This repository complements our paper by offering the training dataset, the best-performing models utilized in our real-world experiment,…☆22Mar 7, 2025Updated last year
- ☆11Aug 12, 2022Updated 3 years ago
- A library to generate AST, CFG, PDG for Java program☆16Jun 13, 2021Updated 4 years ago
- Soot-based taint analysis with internal Java fluent interface for security specifications in fluentTQL implemented with MagpieBridge to s…☆18Jan 30, 2025Updated last year
- Serverless GPU API endpoints on Runpod - Get Bonus Credits • AdSkip the infrastructure headaches. Auto-scaling, pay-as-you-go, no-ops approach lets you focus on innovating your application.
- TaintFlow, a framework for JavaScript dynamic information flow analysis.☆18Jan 18, 2023Updated 3 years ago
- This repository provides the code and guidance for reproducing the results in our ESEC/FSE 2023 submission "Pre-training Code Representat…☆27Jan 24, 2024Updated 2 years ago
- ☆11Nov 2, 2022Updated 3 years ago
- ☆24Jul 12, 2022Updated 3 years ago
- Security technique research and some funny work on it !☆12Dec 18, 2018Updated 7 years ago
- ☆13Oct 30, 2022Updated 3 years ago
- Frama-C plugins for deadlock and data race detection☆14Feb 18, 2026Updated 2 months ago
- An OCaml implementation of the DPLL algorithm for solving SAT instances. Uses nothing beyond the OCaml List library.☆19Sep 5, 2014Updated 11 years ago
- Dump the call graph by the static analysis of FlowDroid☆23Jun 22, 2017Updated 8 years ago
- GPU virtual machines on DigitalOcean Gradient AI • AdGet to production fast with high-performance AMD and NVIDIA GPUs you can spin up in seconds. The definition of operational simplicity.
- Concolic Exection Engine for Golang☆10May 16, 2018Updated 7 years ago
- Mini-program Cross Page Request Forgery (MiniCPRF) Analysis Tool.☆18Oct 30, 2024Updated last year
- 🎵 Kokoro TTS Chinese Version - High-quality Chinese text-to-speech system with 103 voice models, web interface, and command-line tools☆14Jun 18, 2025Updated 10 months ago
- This tool is a Program Dependence Graph generator for a given input file in the programming language Java that can be outputed as a dot f…☆23Dec 29, 2019Updated 6 years ago
- A crawler that uses OpenWPM.☆12Dec 26, 2021Updated 4 years ago
- 👩 A rust scraping library packaged with chrome's latest TLS fingerprints☆16Mar 26, 2023Updated 3 years ago
- Python application to scan user's installed browsers for secrets such as stored passwords and cookies.☆14Jun 16, 2021Updated 4 years ago
- keep watching new bug bounty (vulnerability) postings.☆12Apr 7, 2024Updated 2 years ago
- ☆12Nov 14, 2021Updated 4 years ago
- Managed Database hosting by DigitalOcean • AdPostgreSQL, MySQL, MongoDB, Kafka, Valkey, and OpenSearch available. Automatically scale up storage and focus on building your apps.
- ☆15Oct 2, 2024Updated last year
- SVM Abstrac Verifier tool☆12Oct 13, 2022Updated 3 years ago
- Repository for dealing with Malloc mangling functions☆12Jun 11, 2020Updated 5 years ago
- A large labeled corpus for Application Privacy Policy in Chinese to train named entity recognition models for Android Dangerous PERMSSION…☆11Jun 19, 2025Updated 10 months ago
- A simple tutorial about how to use the CIL compiler frontend☆12Feb 10, 2025Updated last year
- Source code of PurPliance analysis tool.☆17Mar 11, 2024Updated 2 years ago
- ☆13Jun 15, 2024Updated last year