0-0x41

0-0x41's Stars

• Geoffrey1014/SA_Bugs

  record bugs of static analyzers

  Language:Python11

• liancheng/llvm-tutorial-cn

  Simplified Chinese translation for the LLVM Tutorial

  Language:C++518118

• javaparser/javaparser

  Java 1-21 Parser and Abstract Syntax Tree for Java with advanced analysis functionalities.

  Language:Java5.3k1.1k

• HypothesisWorks/hypothesis

  Hypothesis is a powerful, flexible, and easy to use library for property-based testing.

  Language:Python7.4k578

• eliben/llvm-clang-samples

  UNMAINTAINED: Examples of using the LLVM and Clang compilation libraries and tools

  Language:C++1.2k227

• SVF-tools/Teaching-Software-Analysis

  Teaching and Learning Software Analysis via SVF

  Language:C++180112

• cs3110/textbook

  The CS 3110 Textbook, "OCaml Programming: Correct + Efficient + Beautiful"

  Language:OCaml694120

• wala/JS_WALA

  WALA analyses and tools that are implemented in JavaScript

  Language:JavaScript8211

• testsmt/yinyang

  A fuzzing framework for SMT solvers

  Language:Python17722

• pascal-lab/Tai-e

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

  Language:Java1.3k166

• Kensuke-Hinata/statistic

  collecting books, papers and docs.

  2.1k1k

• DeathKing/Learning-SICP

  MIT视频公开课《计算机程序的构造和解释》中文化项目及课程学习资料搜集。

  Language:Ruby10.9k1.5k

• grievejia/andersen

  Andersen's inclusion-based pointer analysis re-implementation in LLVM

  Language:C++20653

• d2l-ai/d2l-zh

  《动手学深度学习》：面向中文读者、能运行、可讨论。中英文版被70多个国家的500多所大学用于教学。

  Language:Python58.6k10.6k

• yinwang0/pysonar2

  PySonar2: a semantic indexer for Python with interprocedual type inference

  Language:Java1.4k506

• tingsu/Stoat

  Stoat (STochastic model App Tester) - an automatic testing tool for android apps

  Language:Python13837

• taichi-dev/taichi

  Productive, portable, and performant GPU programming in Python.

  Language:C++25.1k2.3k