li-xin-yi / cfg-explorerView external linksLinks
CFG explorer for binaries
☆39Oct 29, 2024Updated last year
Alternatives and similar repositories for cfg-explorer
Users that are interested in cfg-explorer are comparing it to the libraries listed below
Sorting:
- 国科大编译作业三：Point to 分析☆19Dec 12, 2021Updated 4 years ago
- CFG explorer for binaries☆84Oct 29, 2024Updated last year
- ☆17Jan 17, 2024Updated 2 years ago
- 最全中华古诗词数据库, 唐宋两朝近一万四千古诗人, 接近5.5万首唐诗加26万宋诗. 两宋时期1564位词人，21050首词。☆14Feb 9, 2018Updated 8 years ago
- MoCHi: Model Checker for Higher-Order Programs☆43Apr 19, 2025Updated 9 months ago
- ☆16Jun 22, 2022Updated 3 years ago
- 鼠须管 - macOS五笔86，支持临时手动造词☆15Feb 7, 2026Updated last week
- ☆16Sep 29, 2022Updated 3 years ago
- 国科大编译作业二：LLVM Pass处理函数调用☆18Nov 11, 2021Updated 4 years ago
- A collection of widely-fuzzed targets☆46Aug 4, 2019Updated 6 years ago
- A small header C library to print stack trace on execution if an exception occurs (such as segmentation fault).☆23Jun 10, 2017Updated 8 years ago
- Control-Flow Integrity implementation for the Linux Kernel 3.19☆22Feb 19, 2020Updated 5 years ago
- Merge multi binaries into one IDA database.☆24Jan 18, 2022Updated 4 years ago
- Malware source code samples leaked online uploaded to GitHub for those who want to analyze the code.☆26Jun 29, 2017Updated 8 years ago
- Duet: static analysis for unbounded concurrency☆29Feb 6, 2026Updated last week
- The code base for the I4 prototype, as described in the SOSP '19 paper "I4: Incremental Inference of Inductive Invariants for Verificatio…☆26May 25, 2021Updated 4 years ago
- Information about verification tools. Browse the data at https://slebok.github.io/proverb/☆31Dec 9, 2023Updated 2 years ago
- A minimalistic and high-performance SAT solver☆26Mar 4, 2024Updated last year
- A design automation framework to engineer decision diagrams yourself☆25Feb 9, 2026Updated last week
- This is a Login application for Android using Parse server.☆10Nov 26, 2018Updated 7 years ago
- angr中文版文档☆35Oct 27, 2018Updated 7 years ago
- 一个使用C语言开发的PHP MVC框架.包含自动加载、路由重写、Hooks、DB封装、Di容器、视图引擎、消息队列、消费者管理、调试器等核心功能.核心之外还包含了诸多日常开发所常用的类库,如图片水印处理、FTP封装、Linux性能检测与告警、Telnet探测、邮件发送、验证…☆13Jan 4, 2022Updated 4 years ago
- 不定期更新爬取各国网站的爬虫源码☆10Aug 15, 2018Updated 7 years ago
- ELVE : ELVE Logic Visualization Engine☆11Jul 2, 2017Updated 8 years ago
- Untraditional GNU Emacs configuration☆10Jul 10, 2024Updated last year
- examples of intellij plugins☆11Jan 25, 2018Updated 8 years ago
- OpenTitan FI formal verification framework☆16Aug 29, 2023Updated 2 years ago
- A copy of the latest version of MVSIS☆12Apr 18, 2021Updated 4 years ago
- This is an implementation of SafeBricks, based on NetBricks maintained by Comcast and refined by Yang: https://github.com/YangZhou1997/Ne…☆10Feb 3, 2020Updated 6 years ago
- A web IDE for ACL2 using a Kubernetes based backend. Evolution of https://github.com/calebegg/proof-pad-classic☆11Jul 15, 2024Updated last year
- 《算法竞赛入门经典》第二版（第2版）-例题习题解答☆10May 10, 2021Updated 4 years ago
- Scripts for Digital Design flow control.☆16Oct 30, 2025Updated 3 months ago
- This script is for photographers to do timeslice with one click.☆13Aug 21, 2022Updated 3 years ago
- A simple tool to demonstrate the physical design steps of VLSI Design Flow.☆10Dec 13, 2020Updated 5 years ago
- Isomorphic JavaScript helper functions (crpyto, performance, ..)☆11Jul 18, 2023Updated 2 years ago
- ☆10Feb 9, 2024Updated 2 years ago
- Neon lights in the night tonight and stars that shine in the open sky☆46Dec 17, 2023Updated 2 years ago
- 国科大编译作业：基于Clang的C语言解释执行器☆43Dec 12, 2021Updated 4 years ago
- FIRE: Combining Multi-Stage Filtering with Taint Analysis for Scalable Recurring Vulnerability Detection.☆15Sep 27, 2024Updated last year