Pinned Repositories
CGBench
Benchmark Suite For Call Graph Construction
linghuiluo.github.io
A personal website https://linghuiluo.github.io
InferIDE
IDE Integration of Facebook Infer
IntelliJLSP
IntelliJ plugin which supports the language server protocol
MagpieBridge
MagpieBridge LSP Framework --- A simple solution for your analysis IDE integration
COVA
COVA - A static analysis tool to compute path conditions
soot
Soot - A Java optimization framework
SootUp
A new version of Soot with a completely overhauled architecture
linghuiluo's Repositories
linghuiluo/CGBench
Benchmark Suite For Call Graph Construction
linghuiluo/linghuiluo.github.io
A personal website https://linghuiluo.github.io
linghuiluo/amazon-codeguru-reviewer-java-detectors
Java code examples for Amazon CodeGuru Reviewer
linghuiluo/amazon-codeguru-reviewer-python-detectors
Python code examples for Amazon CodeGuru Reviewer
linghuiluo/Android-InsecureBankv2
Vulnerable Android application for developers and security enthusiasts to learn about Android insecurities
linghuiluo/AppX
linghuiluo/AQL-System
System using the Analysis Query Language
linghuiluo/averroes-gencg
linghuiluo/aws-codeguru-profiler-demo-application
Example application demonstrating the features of Amazon CodeGuru Profiler
linghuiluo/CGSerializer
linghuiluo/CheatSheetSeries
The OWASP Cheat Sheet Series was created to provide a concise collection of high value information on specific application security topics.
linghuiluo/cova-root
linghuiluo/CryptoExample
linghuiluo/delphi-cli
The command line client for Delphi
linghuiluo/EmpiricalStandards
Empirical standards for conducting and evaluating research in software engineering
linghuiluo/FD-2.7.1
linghuiluo/FlowDroid
FlowDroid Static Data Flow Tracker
linghuiluo/FSE21Study
linghuiluo/gitpod
Ready-to-code dev evironments for GitHub and GitLab
linghuiluo/IDE
WALA projects meant for language-independent IDE support
linghuiluo/infer
A static analyzer for Java, C, C++, and Objective-C
linghuiluo/LSP4J_Tutorial
Build Language Servers in Java
linghuiluo/marko
A declarative, HTML-based language that makes building web apps fun
linghuiluo/MUBench
linghuiluo/mvn-crawler
Maven Crawler
linghuiluo/openjdk-jdk11u
Mirror of the jdk-updates/jdk11u Mercurial forest at OpenJDK
linghuiluo/slf4j
Simple Logging Facade for Java
linghuiluo/soot
Soot - A Java optimization framework
linghuiluo/Telegram
Telegram for Android source
linghuiluo/WALA
T.J. Watson Libraries for Analysis