linghuiluo

CGBench

Benchmark Suite For Call Graph Construction

linghuiluo.github.io

A personal website https://linghuiluo.github.io

amazon-codeguru-reviewer-java-detectors

Java code examples for Amazon CodeGuru Reviewer

amazon-codeguru-reviewer-python-detectors

Python code examples for Amazon CodeGuru Reviewer

Android-InsecureBankv2

Vulnerable Android application for developers and security enthusiasts to learn about Android insecurities

AppX

AQL-System

System using the Analysis Query Language

averroes-gencg

aws-codeguru-profiler-demo-application

Example application demonstrating the features of Amazon CodeGuru Profiler

CGSerializer

CheatSheetSeries

The OWASP Cheat Sheet Series was created to provide a concise collection of high value information on specific application security topics.

cova-root

CryptoExample

delphi-cli

The command line client for Delphi

EmpiricalStandards

Empirical standards for conducting and evaluating research in software engineering

FD-2.7.1

FlowDroid

FlowDroid Static Data Flow Tracker

FSE21Study

gitpod

Ready-to-code dev evironments for GitHub and GitLab

IDE

WALA projects meant for language-independent IDE support

infer

A static analyzer for Java, C, C++, and Objective-C

LSP4J_Tutorial

Build Language Servers in Java

marko

A declarative, HTML-based language that makes building web apps fun

MUBench

mvn-crawler

Maven Crawler

openjdk-jdk11u

Mirror of the jdk-updates/jdk11u Mercurial forest at OpenJDK

slf4j

Simple Logging Facade for Java

soot

Soot - A Java optimization framework

Telegram

Telegram for Android source

WALA

T.J. Watson Libraries for Analysis