jjsahalf Goto Github PK

stp

Simple Theorem Prover.

susi

SuSi - our tool to automatically discover sources and sinks in the Android framework

svf

Static Value-Flow Analysis in LLVM

tensorflow

Computation using data flow graphs for scalable machine learning

tensorflow-examples

TensorFlow tutorials and code examples for beginners

tensorflow-tutorials

Simple tutorials using Google's TensorFlow Framework

tensorflow_exercises

The codes I made while I practiced various TensorFlow examples

test-filter-branch

tf_examples

TensorFlow and Scikit Flow examples

threatexchange

Share threat information with vetted partners

today-scripts

A widget for running scripts in the Today View in OS X Yosemite's Notification Center

triton

Pin-based concolic execution framework. It provides components like a taint engine, a dynamic symbolic execution engine, a snapshot engine, translation of x64 instructions into SMT2-LIB, a Z3 interface to solve constraints and Python bindings. Based on these components, you can build tools for automate reverse engineering.

try_git

unblock-youku

A Chrome extension helping users access their web services while travelling outside mainland China.

uscis

uscis check status

violist

A String analysis framework for Java and Android apps

wala

T.J. Watson Libraries for Analysis

webgazer-test

wpscan

WPScan is a black box WordPress vulnerability scanner.

yara

The pattern matching swiss knife

yslow

YSlow analyzes web pages and suggests ways to improve their performance based on a set of rules for high performance web pages.

z3

The Z3 Theorem Prover

zenburn

Zenburn is a low-contrast color scheme for Vim.