happyxzw Goto Github PK

judger

Online judge sandbox based on seccomp | OnlineJudge 安全沙箱

jupyter-text2code

k5

K Framework Tools 5.0

kam1n0-community

The Kam1n0 Assembly Analysis Platform

lambda-dti

Interpreter of the ITGL with dynamic type inference

learnlib

A free, open source Java library for automata learning algorithms.

lfapp

Plataforma-LFA

lflat

L-FLAT - Logtalk Formal Language and Automata Toolkit

libsignal-protocol-javascript

Signal Protocol library for JavaScript

lstar_extraction

implementation of ICML 2018 paper, Extracting Automata from Recurrent Neural Networks Using Queries and Counterexamples

machine-learning

android-malware-classification using machine learning algorithms

malware-detect

mara_framework

MARA is a Mobile Application Reverse engineering and Analysis Framework. It is a toolkit that puts together commonly used mobile application reverse engineering and analysis tools to assist in testing mobile applications against the OWASP mobile security threats.

mipverify.jl

Evaluating Robustness of Neural Networks with Mixed Integer Programming

mlsub

Prototype type inference engine

myflowanalysis

Flow analysis using Soot

mypy

Optional static typing for Python 3 and 2 (PEP 484)

naivechain

A blockchain implementation in 200 lines of code

neuralverification.jl

Methods to soundly verify deep neural networks

nfa-regex

A regular expression engine based on nondeterministic finite automata (NFA)

nl2type

NL2Type: Inferring JavaScript Function Types from Natural Language Information

nlambda

Nλ is a simple functional programming language aimed at manipulating infinite, but first-order definable structures, such as the countably infinite clique graph or the set of all intervals with rational endpoints.

obfuscar

Open source obfuscation tool for .NET assemblies

osx-security-awesome

A collection of OSX and iOS security resources

palmtree

Offical Implementation for PalmTree

patdroid

A Program Analysis Toolkit for Android

pb3sol

protobuf3 compiler plugin for solidity and protobufjs integration support

pi-forall

A demo implementation of a simple dependently-typed language

plasma

Plasma is an interactive disassembler for x86/ARM/MIPS. It can generates indented pseudo-code with colored syntax.

pldi19-equivalence-checker

Source code for the equivalence checker presented in the PLDI 2019 paper, "Semantic Program Alignment for Equivalence Checking"