liangman

liangman's Stars

• MobSF/Mobile-Security-Framework-MobSF

  Mobile Security Framework (MobSF) is an automated, all-in-one mobile application (Android/iOS/Windows) pen-testing, malware analysis and security assessment framework capable of performing static and dynamic analysis.

  Language:JavaScript18.3k5821.5k3.3k

• github/codeql

  CodeQL: the libraries and queries that power security researchers around the world, as well as code scanning in GitHub Advanced Security

  Language:CodeQL8.1k2382.4k1.6k

• EleutherAI/gpt-neox

  An implementation of model parallel autoregressive transformers on GPUs, based on the Megatron and DeepSpeed libraries

  Language:Python7.1k1264561k

• javaparser/javaparser

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

  Language:Java5.7k1422.3k1.2k

• pmd/pmd

  An extensible multilanguage static code analyzer.

  Language:Java5k1382.6k1.5k

• firmianay/CTF-All-In-One

  CTF竞赛权威指南

  Language:C4.3k12819707

• RapidAI/RapidOCR

  📄 Awesome OCR multiple programing languages toolkits based on ONNXRuntime, OpenVINO, PaddlePaddle and PyTorch.

  Language:Python3.7k48158411

• FeeiCN/Cobra

  Source Code Security Audit (源代码安全审计)

  Language:Python3.2k154980952

• LibreOffice/core

  Read-only LibreOffice core repo - no pull request (use gerrit instead https://gerrit.libreoffice.org/) - don't download zip, use https://dev-www.libreoffice.org/bundles/ instead

  Language:C++3k970664

• klee/klee

  KLEE Symbolic Execution Engine

  Language:C++2.7k108609688

• find-sec-bugs/find-sec-bugs

  The SpotBugs plugin for security audits of Java web applications and Android applications. (Also work with Kotlin, Groovy and Scala projects)

  Language:Java2.3k88439476

• LoRexxar/Kunlun-M

  KunLun-M是一个完全开源的静态白盒扫描工具，支持PHP、JavaScript的语义扫描，基础安全、组件安全扫描，Chrome Ext\Solidity的基础扫描。

  Language:Python2.3k55105311

• 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:Scala2.3k401.2k310

• ArtifexSoftware/mupdf

  mupdf mirror

  Language:C1.9k530347

• VHellendoorn/Code-LMs

  Guide to using pre-trained large language models of source code

  Language:Python1.8k4336255

• INRIA/spoon

  Spoon is a metaprogramming library to analyze and transform Java source code. :spoon: is made with :heart:, :beers: and :sparkles:. It parses source files to build a well-designed AST with powerful analysis and transformation API.

  Language:Java1.8k571.7k358

• ASTTeam/CodeQL

  《深入理解CodeQL》Finding vulnerabilities with CodeQL.

  1.6k173173

• wh1t3p1g/tabby

  A CAT called tabby ( Code Analysis Tool )

  Language:Java1.4k2473162

• pascal-lab/Tai-e-assignments

  Tai-e assignments for static program analysis

  Language:Java1.1k425255

• safe6Sec/CodeqlNote

  Codeql学习笔记

  Language:CodeQL864152108

• github/vscode-codeql-starter

  Starter workspace to use with the CodeQL extension for Visual Studio Code.

  Language:CodeQL5152357261

• github/vscode-codeql

  An extension for Visual Studio Code that adds rich language support for CodeQL

  Language:TypeScript44339450197

• mauricioaniche/ck

  Code metrics for Java code by means of static analysis

  Language:Java3931658155

• soot-oss/heros

  IFDS/IDE Solver for Soot and other frameworks

  Language:Java240222486

• sosy-lab/java-smt

  JavaSMT - Unified Java API for SMT solvers.

  Language:Java2112330846

• IBM/tree-sitter-codeviews

  Extract and combine multiple source code views using tree-sitter

  Language:Java1265722

• ghaffarian/progex

  PROGEX (Program Graph Extractor); a cross platform tool for extracting graphical program representations from software source code

  Language:Java8541733

• Matmaus/LnkParse3

  Windows Shortcut file (LNK) parser

  Language:Python831714

• soot-oss/TaintAnalysis

  Taint analysis implementation based on Heros and Soot

  Language:Java44145

• manshen666/vue-image-cropper

  vue image cropper

  Language:Vue2100