youngleetamusa Goto Github PK

dfdvis

ercatcher

A Static Analysis Framework for Accurate and Scalable Event-Race Detection in Android

flowcog

Project FlowCog (2017)

flowdroid

FlowDroid Static Data Flow Tracker

googlemapapi

head-first-design-patterns

Code for Head First Design Patterns book (2014)

heros

IFDS/IDE Solver for Soot

highlightbracketpair

:high_brightness: Highlight bracket pair plugin for intellij

ide

✨ Simple, free and open-source online code editor.

intellidroid

A targeted input generator for Android that improves the effectiveness of dynamic malware analysis.

javadataflow

Creating Data Flow Graphs from java input classes

libericc

Libericc: Lifetime Behavior Reconstruction by Inter-Component Communication

mudarri

Source code of the Mudarri IntelliJ plugin, using rule graphs

nju-software-analysis-homework

南京大学《软件分析》课程课后作业(非Bamboo) NJU's software analysis homework; ... Not official, just a reference

nodejs-quickstart

This repository contains code samples for the Node.js Quick Start blog post series

optimize-java-8-streams-refactoring

Refactorings for optimizing Java 8 stream client code for greater parallelism and efficiency.

pyre-check

Performant type-checking for python.

pysa-experiment

remotecodecompiler

An online code compiler using Java and Docker for Java, C, C++, and Python for competitive programming and coding interviews

soot

Soot - A Java optimization framework

soottutorial

A step-by-step tutorial for Soot (a Java static analysis framework)

spds

Efficient and Precise Pointer-Tracking Data-Flow Framework

stream-debugger-plugin

tcm_plugin

Early Vulnerability Detection for Supporting Secure Programming

tictactoe

A simple game of Tic Tac Toe in SwiftUI

tracker-app

Proof of concept for a tracking application

vehicle-tracking-system

Vehicle Tracking System with Android

visualdfa

VisualDFA is a sophisticated educational tool for interactively visualizing data-flow analyses using Java/Jimple.

visuflow

VisuFlow - An Eclipse plugin that helps static code developers in writing static analyses on top of Soot.

visuflow-1

Let your data flow. Visually.