cyruliu Goto Github PK
Name: Cyrus
Type: User
Bio: Formal Verification/Program Analysis
Location: New Jersey USA
Blog: www.cyrusliu.me
Name: Cyrus
Type: User
Bio: Formal Verification/Program Analysis
Location: New Jersey USA
Blog: www.cyrusliu.me
Macaw Binary Analysis
Icy beauty of mathematics
Cypress @ Stevens website
LTL verification on lifted binaries.
Project implementations for Data Science and Machine Learning Bootcamp with R
A dynamic analyzer for proving program termination and non-termination.
Formally verified x86-64 decompilation
Translate LLVM IR into Control Flow Automaton.
Notes and handouts from OPLSS 2018
Slides from evening short presentations given by OPLSS 2018 attendees
This project shows simple function of Android refection
A tool for analyzing x86-64 binaries.
This tool lets you search your gadgets on your binaries to facilitate your ROP exploitation. ROPgadget supports ELF, PE and Mach-O format on x86, x64, ARM, ARM64, PowerPC, SPARC and MIPS architectures.
This program is to help tourists allot their attractions route based on the user data
Road map to security engineer/analyst.
Android Dynamic Monitor
Servois is an experimental tool for automatically generating commutativity conditions from data-structure specifications.
A simple firewall for advanced algorithm course
Collection of Verification Tasks
Binary Verification
A stock trading bot powered by Trump tweets
The native part of the Xposed framework (mainly the modified app_process binary).
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.