awesome-indie 中文版 - 帮助独立开发者赚钱的资源

独立开发者赚钱经验分享

Hello Gator-3.8!

Google 开源项目风格指南 (中文版)

Static Value-Flow Analysis Framework for Source Code.

Static Value-Flow Analysis Framework for Source Code

设计模式超简单的解释 - An ultra-simplified explanation to design patterns

Github Pages template for academic personal websites, forked from mmistakes/minimal-mistakes

Hello World!

Config files for my GitHub profile.

A collection of out-of-tree LLVM passes for teaching and learning

A LLVM-based static analysis framework.

The LLVM Project is a collection of modular and reusable compiler and toolchain technologies.

Come and join us, we need you!

T.J. Watson Libraries for Analysis, with frontends for Java, Android, and JavaScript, and may common static program analyses

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

A new version of Soot with a completely overhauled architecture

Soot - A Java optimization framework

FlowDroid Static Data Flow Tracker.

FlowDroid Static Data Flow Tracker

A lightweight test input generator for Android. Similar to Monkey, but with more intelligence and cool features!

APKinspector is a powerful GUI tool for analysts to analyze the Android applications.

The CompCert formally-verified C compiler

An LLVM-based instrumentation tool for universal taint tracking, dataflow analysis, and tracing.

A collection of out-of-tree Clang plugins for teaching and learning

Lightweight static analysis for many languages. Find bug variants with patterns that look like source code.

🤗 JVM 底层原理最全知识总结

AutoGPT is the vision of accessible AI for everyone, to use and to build on. Our mission is to provide the tools, so that you can focus on what matters.

A collection of articles written by YinWang

Fastbot(2.0) is a model-based testing tool for modeling GUI transitions to discover app stability problems