Static Binary Analysis Platform
☆29Mar 30, 2026Updated 2 weeks ago
Alternatives and similar repositories for sba
Users that are interested in sba are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Difflog: Synthesizing Datalog Programs using Numerical Relaxation☆14Sep 26, 2019Updated 6 years ago
- ☆10May 24, 2021Updated 4 years ago
- Neural Algorithmic Reasoning Tutorial☆12Dec 21, 2022Updated 3 years ago
- ☆11Jan 8, 2022Updated 4 years ago
- Junction Tree Variational AutoEncoder Implementation Attempt☆11Jun 21, 2018Updated 7 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.
- ☆10Updated this week
- Code & experiments for MINDWALC: Mining Interpretable, Discriminative Walks for Classification of Nodes in a Graph☆13Jul 4, 2024Updated last year
- Basic LLVM passes☆17Oct 7, 2018Updated 7 years ago
- Proof system for Fact Verification☆14Jun 7, 2022Updated 3 years ago
- Get build time statistics of _FORTIFY_SOURCE coverage for programs☆12Sep 23, 2024Updated last year
- A unified programming framework for high and portable performance across FPGAs and GPUs☆11Mar 23, 2025Updated last year
- A repository of workshop slides used in SWEN30006 - Software Modelling and Design workshops.☆13Aug 19, 2024Updated last year
- Implementation of paper "Explanability-based backdoor attacks against graph neural networks"☆12Aug 1, 2022Updated 3 years ago
- Open-source library for ORAM implementations☆11Apr 15, 2020Updated 6 years ago
- Wordpress hosting with auto-scaling - Free Trial • AdFully Managed hosting for WordPress and WooCommerce businesses that need reliable, auto-scalable performance. Cloudways SafeUpdates now available.
- A mighty small, 45% ortholinear keyboard☆20Sep 3, 2020Updated 5 years ago
- Grammar prioritization support for EUSolver.☆14Jul 18, 2019Updated 6 years ago
- E-Graph library☆22Apr 4, 2024Updated 2 years ago
- Multi Stage Attentional UNet☆12Dec 23, 2021Updated 4 years ago
- A collection of widely-fuzzed targets☆46Aug 4, 2019Updated 6 years ago
- A language server for TableGen and a VSCode extension☆30Apr 10, 2026Updated last week
- GNU Global with ivy completion☆22Mar 18, 2021Updated 5 years ago
- This repository contains an extended version of SMCSim (originally by Erfan Azarkhish), used for near-data-processing research by Jiwon C…☆14Nov 24, 2020Updated 5 years ago
- https://arxiv.org/pdf/2007.05094.pdf An Easy-To-Use Code Generator for Gradients and Hessians☆30Sep 22, 2021Updated 4 years ago
- Virtual machines for every use case on DigitalOcean • AdGet dependable uptime with 99.99% SLA, simple security tools, and predictable monthly pricing with DigitalOcean's virtual machines, called Droplets.
- Numba compatible SCFG (Structured Control Flow Graphs) utilities.☆27Updated this week
- Combining Symbolic and Function Evaluation Expressions In Neural Programs☆34Dec 19, 2019Updated 6 years ago
- This tool set can generate SECCOMP profiles for Docker images. It mainly relies on static analysis, making its results more reliable than…☆71May 3, 2022Updated 3 years ago
- IDA Type Info Libraries for RE☆32Jan 11, 2025Updated last year
- Function Merging & Branch Fusion☆19Apr 5, 2019Updated 7 years ago
- ☆42Aug 14, 2017Updated 8 years ago
- A Python tool kit for interacting with the locally hosted Zotero database.☆34Apr 1, 2021Updated 5 years ago
- Instruction decoder generator☆39Apr 12, 2026Updated last week
- Grammarly for VS Code☆37Feb 11, 2025Updated last year
- 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.
- Euphony: a probabilistic model-guided program synthesizer☆27Nov 21, 2022Updated 3 years ago
- Evaluation of the Layoutlm model on the CORD dataset☆32Feb 4, 2022Updated 4 years ago
- An Obfuscation Approach using Probabilistic Control Flows☆32Jan 18, 2017Updated 9 years ago
- ☆32Jun 16, 2021Updated 4 years ago
- ☆49Apr 9, 2026Updated last week
- ☆33Mar 19, 2026Updated last month
- The bootloader for the latest versions of Windows NT, Windows 8 to Windows 11.☆31Mar 9, 2020Updated 6 years ago