predicate scientific program performance model using llvm
☆27Jun 12, 2015Updated 10 years ago
Alternatives and similar repositories for llvm-pred
Users that are interested in llvm-pred are comparing it to the libraries listed below
Sorting:
- 整理统计MacOSX的安全补丁与修复的漏洞☆10May 23, 2016Updated 9 years ago
- llvm control flow graph☆26Sep 16, 2019Updated 6 years ago
- An IDA_Wrapper for linux, shipped with an Function Identifier. It works well with Driller on static linked binaries.☆14Sep 12, 2019Updated 6 years ago
- Formalization of Typed Assembly Language (TAL) in Coq☆18Mar 11, 2024Updated last year
- 简化版本llvm的stackprotector策略,将其包装成一个pass,对程序的stack进行保护☆13Jul 13, 2017Updated 8 years ago
- ☆15Feb 27, 2019Updated 7 years ago
- ModelHunter is a powerful pipeline designed to extract machine learning models from Android applications.☆20Apr 11, 2024Updated last year
- some my implementation of content in PPA☆18Nov 3, 2020Updated 5 years ago
- A high level LLVM IR AST provider for GraphEngine JIT.☆22Sep 9, 2018Updated 7 years ago
- ☆22Apr 17, 2023Updated 2 years ago
- android kernel pwn☆22Feb 14, 2019Updated 7 years ago
- ☆26Oct 29, 2021Updated 4 years ago
- FastKLEE: Faster Symbolic Execution via Reducing Redundant Bound Checking of Type-Safe Pointers☆23May 31, 2023Updated 2 years ago
- A hypervisor or virtual machine monitor (VMM) fuzzer☆28Feb 4, 2020Updated 6 years ago
- ios kernel class tree☆23May 30, 2019Updated 6 years ago
- Blog https://blog.omitol.com☆28Mar 31, 2025Updated 11 months ago
- ☆46Apr 3, 2019Updated 6 years ago
- My random notes☆35Jan 18, 2026Updated last month
- A fast binary coverage measurement tool based on AFL's Qemu mode☆34Jun 6, 2021Updated 4 years ago
- ☆32Nov 6, 2019Updated 6 years ago
- 将smali代码转换为更易懂的Java伪码☆29Mar 9, 2015Updated 10 years ago
- PoC for CVE-2017-0075☆37Sep 12, 2019Updated 6 years ago
- main repository☆40Jun 10, 2019Updated 6 years ago
- Collection of LLVM passes and triage tools for use with the KRF fuzzer☆38Oct 12, 2022Updated 3 years ago
- A dynamic analysis platform for Android☆44Jul 9, 2019Updated 6 years ago
- ☆41Nov 20, 2017Updated 8 years ago
- ARMv7 architecture plugin☆40Mar 7, 2024Updated 2 years ago
- get android app signature without java api☆36Dec 10, 2018Updated 7 years ago
- 使用intel pin来求解一部分CTF challenge☆32Jul 1, 2018Updated 7 years ago
- ☆10Jun 5, 2023Updated 2 years ago
- [ACM MM 2025] LMM4Edit: Benchmarking and Evaluating Multimodal Image Editing with LMMs☆15Feb 10, 2026Updated 3 weeks ago
- we are get together forever☆10Jan 28, 2018Updated 8 years ago
- Latest KiCad installed inside a docker container from ppa:js-reynaud/ppa-kicad☆10Mar 23, 2015Updated 10 years ago
- A Benchmark for Evaluating Safety and Trustworthiness in Web Agents for Enterprise Scenarios☆19Feb 24, 2026Updated last week
- 計算機結構 -- Nand2tetris Part I (金門大學 / 資訊工程系 106 上學期 )☆12Dec 21, 2017Updated 8 years ago
- DabHand/GNU C Tutorial book☆11Dec 13, 2015Updated 10 years ago
- Manufacture peripheral Library - MPLib, modified by CooCox in order to add to CoIDE(http://www.coocox.org)☆12Jul 24, 2014Updated 11 years ago
- a programming game for Python based on Robocode and Turtle.py☆12Jan 24, 2019Updated 7 years ago
- Xposed GravityBox Module for devices running Android 7.0/7.1 (Nougat)☆34Aug 6, 2017Updated 8 years ago