Topic: angr Goto Github
Some thing interesting about angr
Some thing interesting about angr
angr,Reverse Engineering Resources About All Platforms(Windows/Linux/macOS/Android/iOS/IoT) And Every Aspect! (More than 3500 open source tools and 2300 posts&videos)
User: alphaseclab
angr,Abstract library to generate angr states from a debugger state
User: andreafioraldi
angr,Use angr inside GDB. Create an angr state from the current debugger state.
User: andreafioraldi
angr,Use angr in the IDA Pro debugger generating a state from the current debug session
User: andreafioraldi
Home Page: https://andreafioraldi.github.io/IDAngr/
angr,Use angr inside the radare2 debugger. Create an angr state from the current debugger state.
User: andreafioraldi
angr,A powerful and user-friendly binary analysis platform!
Organization: angr
Home Page: http://angr.io
angr,The official angr GUI.
Organization: angr
angr,Handy utilities for the angr binary analysis framework, most notably CFG visualization
User: axt
angr,Python based angr plug in for IDA Pro.
User: brandon-everhart
angr,A tool for finding the one gadget RCE in libc
User: christhecoolhut
angr,Discovering vulnerabilities in firmware through concolic analysis and function clustering.
User: christhecoolhut
angr,Backwards program slice stitching for automatic CTF problem solving.
User: christhecoolhut
angr,Automatic Exploit Generation (AEG) and remote flag capture for exploitable CTF problems
User: christhecoolhut
angr, SEMA is based on angr, a symbolic execution engine used to extract API calls. Especially, we extend ANGR with strategies to create representative signatures based on System Call Dependency graph (SCDG). Those SCDGs can be exploited in machine learning modules to do classification/detection.
Organization: csvl
Home Page: https://csvl.github.io/SEMA/
angr,An IDA_Wrapper for linux, shipped with an Function Identifier. It works well with Driller on static linked binaries.
User: cxm95
angr,Decompiler Explorer! Compare tools on the forefront of static analysis, now in your web browser!
Organization: decompiler-explorer
Home Page: https://dogbolt.org
angr,Tutorial on Symbolic Execution. Hands-on session is based on the angr framework.
User: ercoppa
angr,lwipのバグを半自動検出くん。First introduced in 「2018年 暗号と情報セキュリティシンポジウム」(SCIS2018).
Organization: ertlnagoya
angr,Final project for the M.Sc. in Engineering in Computer Science at Università degli Studi di Roma "La Sapienza" (A.Y. 2016/2017).
User: farosato
angr,Code and exercises for a workshop on z3 and angr
Organization: fsecurelabs
Home Page: https://labs.mwrinfosecurity.com/publications/intro-to-binary-analysis-with-z3-and-angr
angr,angr 7向けのサンプルプログラムです
Organization: futaki-futaba
angr,Scripts that I used to gather data for my research internship at ASU's SEFCOM Lab. My project centered around evaluating the decompilation quality of angr and GHIDRA
User: havlani
angr,基于pwntools+angr的简单CTF AMD64 PWN AUTO FUZZ
User: hexian2001
angr,Solution to the CMU Binary Bomblab using concolic execution (Angr framework by Shellphish).
User: hexterisk
Home Page: https://hexterisk.github.io/blog/posts/2020/05/21/symbolic-execution-and-angr/
angr,play with angr (https://github.com/angr/angr/) !!
User: k-atc
angr,A cross platform framework to recover driver's communication interface.
User: kirasys
angr,The SAILR paper's evaluation pipline for measuring the quality of decompilation
User: mahaloz
angr,Decompilation as a Service. Explore multiple decompilers and compare their output with minimal effort. Upload binary, get decompilation.
User: mborgerson
Home Page: http://decompilerexplorer.org
angr,Use angr in Ghidra
User: nalen98
angr,BINRELAY: Finding race conditions on binaries with symbolic execution.
User: nathanjackson
angr,本科毕设. Fast-Symbolic-Emulation-Engine. 因受够了 angr 诞生的项目,当年帮我solve了很多ctf题目嘻嘻,不过符号执行部分很少维护了,后面可能会用来做一些程序分析,反混淆也是不错. ( 暖心tips: 设置private再public会丢失star喔, 可惜我那为数不多的30几个star ... )
User: notify-bibi
angr,A decompiler to automatically reverse-engineer the DNN semantics from its compiled binary using program analysis
Organization: purseclab
angr,CTF challenges and solutions
User: r00tus3r
Home Page: https://r00tus3r.blogspot.com
angr,SMArTCAT Symbolically Modeled Architecture Timing Channel Analysis Tool
User: stefanberg96
angr,Vagrant-based CTF VM
Organization: thegoonies
angr,Memeful CTF training presentation on Angr and Control Flow Graphs made with ❤️ using LaTeX Beamer for the HKUST Firebird CTF Team.
User: trebledj
angr,Here are some examples and solution of CTF Reverse Engineering and Pwning challenges where I have participated and solved using many tools such as Z3, Angr, IDA Pro and others software and tools.
User: victoralonsocm
angr,A pleasant, mild, dark (n)vim theme.
User: zacanger
angr,👓 Yet another binary vulnerbilities checker. An automated vulnerability scanner for ELF based on symbolic execution.
User: zarkivy
A declarative, efficient, and flexible JavaScript library for building user interfaces.
🖖 Vue.js is a progressive, incrementally-adoptable JavaScript framework for building UI on the web.
TypeScript is a superset of JavaScript that compiles to clean JavaScript output.
An Open Source Machine Learning Framework for Everyone
The Web framework for perfectionists with deadlines.
A PHP framework for web artisans
Bring data to life with SVG, Canvas and HTML. 📊📈🎉
JavaScript (JS) is a lightweight interpreted programming language with first-class functions.
Some thing interesting about web. New door for the world.
A server is a program made to process requests and deliver data to clients.
Machine learning is a way of modeling and interpreting data that allows a piece of software to respond intelligently.
Some thing interesting about visualization, use data art
Some thing interesting about game, make everyone happy.
We are working to build community through open source technology. NB: members must have two-factor auth.
Open source projects and samples from Microsoft.
Google ❤️ Open Source for everyone.
Alibaba Open Source for everyone
Data-Driven Documents codes.
China tencent open source team.