Code Monkey home page Code Monkey logo

Cyrus's Projects

darksea icon darksea

LTL verification on lifted binaries.

dsr icon dsr

Project implementations for Data Science and Machine Learning Bootcamp with R

dynamite icon dynamite

A dynamic analyzer for proving program termination and non-termination.

foxdec icon foxdec

Formally verified x86-64 decompilation

llvm-tcfa icon llvm-tcfa

Translate LLVM IR into Control Flow Automaton.

reflectionex icon reflectionex

This project shows simple function of Android refection

reopt icon reopt

A tool for analyzing x86-64 binaries.

ropgadget icon ropgadget

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.

route_planning icon route_planning

This program is to help tourists allot their attractions route based on the user data

servois icon servois

Servois is an experimental tool for automatically generating commutativity conditions from data-structure specifications.

xposed icon xposed

The native part of the Xposed framework (mainly the modified app_process binary).

Recommend Projects

  • React photo React

    A declarative, efficient, and flexible JavaScript library for building user interfaces.

  • Vue.js photo Vue.js

    🖖 Vue.js is a progressive, incrementally-adoptable JavaScript framework for building UI on the web.

  • Typescript photo Typescript

    TypeScript is a superset of JavaScript that compiles to clean JavaScript output.

  • TensorFlow photo TensorFlow

    An Open Source Machine Learning Framework for Everyone

  • Django photo Django

    The Web framework for perfectionists with deadlines.

  • D3 photo D3

    Bring data to life with SVG, Canvas and HTML. 📊📈🎉

Recommend Topics

  • javascript

    JavaScript (JS) is a lightweight interpreted programming language with first-class functions.

  • web

    Some thing interesting about web. New door for the world.

  • server

    A server is a program made to process requests and deliver data to clients.

  • Machine learning

    Machine learning is a way of modeling and interpreting data that allows a piece of software to respond intelligently.

  • Game

    Some thing interesting about game, make everyone happy.

Recommend Org

  • Facebook photo Facebook

    We are working to build community through open source technology. NB: members must have two-factor auth.

  • Microsoft photo Microsoft

    Open source projects and samples from Microsoft.

  • Google photo Google

    Google ❤️ Open Source for everyone.

  • D3 photo D3

    Data-Driven Documents codes.