NeonGoby alias analysis checker
☆14Jul 2, 2013Updated 12 years ago
Alternatives and similar repositories for neongoby
Users that are interested in neongoby are comparing it to the libraries listed below
Sorting:
- Precise and Signedness Agnostic Interval Analysis for LLVM IR -- This website is obsolete. However, the wrapped interval domain is now im…☆11Dec 18, 2017Updated 8 years ago
- Rust Bindings to interact with SMTLIB2 compliant solvers☆17Jun 3, 2019Updated 6 years ago
- A list of bugs found by SQLancer☆17Jan 30, 2024Updated 2 years ago
- Structure-Invariant Testing for Machine Translation [ICSE'20]☆16Dec 17, 2020Updated 5 years ago
- An approximate solver for concolic execution☆22Apr 29, 2025Updated 10 months ago
- This repository contains several examples of logic bomb.☆116Dec 23, 2023Updated 2 years ago
- automated testing for JavaScript☆36Feb 1, 2018Updated 8 years ago
- BDA: Practical Dependence Analysis for Binary Executables by Unbiased Whole-program Path Sampling and Per-path Abstract Interpretation☆31Feb 26, 2021Updated 5 years ago
- A Fast Floating-Point Satisfiability Solver☆28Jul 26, 2025Updated 7 months ago
- Калькулятор на python / kivy☆12Oct 1, 2021Updated 4 years ago
- Proximal Gradient Analysis open source release based on our USENIX Security 2021 paper: "Fine Grained Dataflow Analysis with Proximal Gra…☆32Apr 29, 2021Updated 4 years ago
- ☆10Sep 28, 2020Updated 5 years ago
- A public repository for publishing XER Tools☆18Nov 9, 2025Updated 3 months ago
- Code examples from the book, Jupyter Notebook 101 by Michael Driscoll☆11Oct 17, 2021Updated 4 years ago
- ☆33Oct 15, 2018Updated 7 years ago
- A library for binary analysis and rewriting☆50Sep 28, 2023Updated 2 years ago
- Code and artifacts of the "Dissecting American Fuzzy Lop - A FuzzBench Evaluation" paper☆13Oct 3, 2022Updated 3 years ago
- ☆14Oct 27, 2025Updated 4 months ago
- GAMES101 Homework Collection☆10Apr 2, 2025Updated 11 months ago
- ☆13Feb 8, 2024Updated 2 years ago
- LLVM trunk with poolalloc trunk modified to compile only DSA☆12Jul 9, 2015Updated 10 years ago
- A place to chronical performance of various hardward and software solutions for using AI at the edge for object detection☆10Sep 11, 2022Updated 3 years ago
- Creating popout windows for Blender☆10Jul 28, 2023Updated 2 years ago
- GUIPilot: A Consistency-based Mobile GUI Testing Approach for Detecting Application-specific Bugs☆14Jan 5, 2026Updated 2 months ago
- Artifact for 'Register Optimizations for Stencils on GPUs'☆10Sep 18, 2018Updated 7 years ago
- Learn how to scrape web content from HTML and see how web scraping differs to web crawling☆11Aug 14, 2020Updated 5 years ago
- ☆17Jan 1, 2021Updated 5 years ago
- ☆12Feb 2, 2024Updated 2 years ago
- Building Business Solutions with PowerApps and the Power Platform☆11Jan 30, 2020Updated 6 years ago
- ifcParser in Grasshopper and NotePad++ Express Style☆10Jun 28, 2017Updated 8 years ago
- Documentation☆45Nov 2, 2025Updated 4 months ago
- OpenUH - Open Source UH Compiler☆54Jun 3, 2025Updated 9 months ago
- A collection of architectural objects for the FreeCAD-library, mostly converted from 3D content available on other websites such as bimob…☆15Jul 23, 2019Updated 6 years ago
- ☆16Aug 15, 2012Updated 13 years ago
- An implementation of memcpy for amd64 with clang/gcc☆15Feb 7, 2022Updated 4 years ago
- A unikernel builder based on MUSL + LKL, designed to run any vanilla application inside an SGX enclave☆10Sep 13, 2016Updated 9 years ago
- Dynamic analysis of multithreaded C programs☆13Feb 7, 2020Updated 6 years ago
- A (Miasm2 + binaryninja) based function divination.☆15Oct 22, 2017Updated 8 years ago
- BinaryView Plugin for Microcorruption CTF memory dumps☆13Jul 16, 2019Updated 6 years ago