pangeneral

Androlic

An extensible flow, context, path, object and field sensitive static analysis framework for Android

leetcode-notebook

Notebook for how to solve problems in leetcode

AsyncChecker

A flow, field, object and context-sensitive inter-procedural static analysis tool for misuse detection of AsyncTask

AsyncDetector

A flow, context and object-sensitive inter-procedural static analysis tool for misuse detection of AsyncTask

android-platforms

A collection of all android.jar files for the different platform versions.

AndroidSootConfigManager

A manager that helps users config and initialize Soot for apk analysis

Calculator

An android calculator

cpg

A library to extract Code Property Graphs from C/C++, Java, Golang and Python.

download

🔴蓝灯最新版本下载 https://github.com/getlantern/download 🔴 Lantern Latest Download https://github.com/getlantern/lantern/releases/tag/latest 🔴

DSEP

publicition and feedback system in the Discipline Self Evalution Platform

Easy_xkcd

An easy and simple open source xkcd reader

FlowDroid

FlowDroid Static Data Flow Tracker

java-benchmarks

jpf-core

JPF is an extensible software analysis framework for Java bytecode. jpf-core is the basis for all JPF projects; you always need to install it. It contains the basic VM and model checking infrastructure, and can be used to check for concurrency defects like deadlocks, and unhandled exceptions like NullPointerExceptions and AssertionErrors.

libfluid_base

A library that provides a connectivity layer for the OpenFlow protocol

minetest

Minetest, an open source infinite-world block sandbox game engine with support for survival and crafting. Also see https://github.com/minetest/minetest_game

Python

All Algorithms implemented in Python

Tai-e

An easy-to-learn/use static analysis framework for Java

z3

The Z3 Theorem Prover