Notaflower

Notaflower's Stars

• lifting-bits/remill

  Library for lifting machine code to LLVM bitcode

  Language:C++1.2k141

• DataDog/orchestrion

  A tool for adding instrumentation to Go code

  Language:Go1113

• dave/dst

  Decorated Syntax Tree - manipulate Go source with perfect fidelity.

  Language:Go1.3k56

• BasedHardware/OpenGlass

  Turn any glasses into AI-powered smart glasses

  Language:C3k370

• AlexanderKoch-Koch/low_cost_robot

  Language:Python2.8k228

• uuverifiers/princess

  The Princess Theorem Prover

  Language:Scala215

• ChillMagic/WinCPPToolkit

  WinCPPToolkit is an integrated suite of popular C++ build tools for Windows, designed to enhance the efficiency of cross-platform projects being developed within the Windows environment.

  Language:C4

• tsenart/deadcode

  Standalone repo of deadcode package from http://github.com/remyoudompheng/go-misc

  Language:Go4915

• dynodroid/dynodroid

  Automatic Input Generation System for Android Apps

  Language:Java369

• iBotPeaches/Apktool

  A tool for reverse engineering Android apk files

  Language:Java19.5k3.5k

• wsong-nj/EHBDroid

  EHBDroid is an effective and efficient Android Testing tool based on the idea of "event-handler-based" testing. Please cite the following paper if you use this tool: Wei Song, Xiangxing Qian, and Jeff Huang. EHBDroid: Beyond GUI Testing for Android Applications. ASE 2017.

  Language:Java177

• eurecom-s3/symqemu

  SymQEMU: Compilation-based symbolic execution for binaries

  Language:C31239

• rahul07bagul/Droidscope

  A Dynamic Analysis Platform For Android.

  Language:Dockerfile1

• JulianSchuette/ConDroid

  Symbolic/concolic execution of Android apps

  Language:Java5413

• decaf-project/Droidscope

  A dynamic analysis platform for Android

  Language:C++4112

• angr/angr

  A powerful and user-friendly binary analysis platform!

  Language:Python7.4k1.1k

• d2l-ai/d2l-zh

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

  Language:Python59.6k10.7k

• praetorian-inc/gokart

  A static analysis tool for securing Go code

  Language:Go2.2k112

• joernio/joern

  Open-source code analysis platform for C/C++/Java/Binary/Javascript/Python/Kotlin based on code property graphs. Discord https://discord.gg/vv4MH284Hc

  Language:Scala1.9k258

• GaloisInc/crucible

  Crucible is a library for symbolic simulation of imperative programs

  Language:Rust61542

• karpathy/llm.c

  LLM training in simple, raw C/CUDA

  Language:Cuda22.2k2.5k

• amilajack/reading

  A list of computer-science readings I recommend

  3k664

• chai2010/go-ast-book

  :books: 《Go语言定制指南》(原名：Go语法树入门/开源免费图书/Go语言进阶/掌握抽象语法树/Go语言AST)

  Language:Go5.3k651

• eclipse-threadx/threadx

  Eclipse ThreadX is an advanced real-time operating system (RTOS) designed specifically for deeply embedded applications.

  Language:C2.8k773

• codefuse-ai/CodeFuse-Query

  Query-Based Code Analysis Engine

  Language:Java17920

• Fraunhofer-AISEC/codyze

  Codyze is a static analyzer for Java, C, C++ based on code property graphs

  Language:Kotlin8418

• Fraunhofer-AISEC/cpg

  A library to extract Code Property Graphs from C/C++, Java, Go, Python, Ruby and every other language through LLVM-IR.

  Language:Kotlin26561

• wasmati/wasmati

  A Generic and Efficient Code Property Graph Infrastructure forScanning Vulnerabilities in WebAssembly Code

  Language:C++234

• facebook/infer

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

  Language:OCaml14.8k2k

• grievejia/tpa

  Pointer Analysis with Tunable Precision

  Language:C++278