linghuiluo

linghuiluo's Stars

• analysis-tools-dev/static-analysis

  ⚙️ A curated list of static analysis (SAST) tools and linters for all programming languages, config files, build tools, and more. The focus is on tools which improve code quality.

  Language:Rust13.4k3205771.4k

• github/semantic

  Parsing, analyzing, and comparing source code across many languages

  Language:Haskell9k402271452

• Col-E/Recaf

  The modern Java bytecode editor

  Language:Java6.1k164614467

• xmendez/wfuzz

  Web application fuzzer

  Language:Python6k1671991.4k

• facebook/mariana-trench

  A security focused static analysis tool for Android and Java applications.

  Language:C++1.1k3494139

• aws/amazon-ssm-agent

  An agent to enable remote management of your EC2 instances, on-premises servers, or virtual machines (VMs).

  Language:Go1.1k101500324

• typetools/checker-framework

  Pluggable type-checking for Java

  Language:Java1k432k356

• pyupio/safety-db

  A curated database of insecure Python packages

  Language:Python7623510884

• eclipse-sprotty/sprotty

  A diagramming framework for the web

  Language:TypeScript7312519283

• jaegeral/companies-hiring-security-remote

  This repo is meant to be a list of companies that hire security people full remote.

  43135771

• fred4jupiter/fredbet

  Simple football betting application using Spring Boot, Thymeleaf and Bootstrap. Well prepared for betting with friends.

  Language:JavaScript123163764

• microsoft/sarif-vscode-extension

  SARIF Microsoft Visual Studio Code extension

  Language:TypeScript1111225251

• Fraunhofer-AISEC/codyze

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

  Language:Kotlin87129318

• CodeShield-Security/SPDS

  Efficient and Precise Pointer-Tracking Data-Flow Framework

  Language:Java6652012

• IBM/D2A

  This repository is to support contributions for tools and new data entries for the D2A dataset hosted in DAX

  Language:Python659918

• sola-st/DynaPyt

  Dynamic analysis framework for Python

  Language:Python5834115

• collab-uniba/pynblint

  Pynblint is a linter for Python Jupyter notebooks.

  Language:Python402492

• whtoo/How_to_implment_PL_in_Antlr4

  简明自制编程语言教程，同时是antlr非官方参考🌰。这里也是cyson这门语言的缘起。

  Language:Java31414

• aws-samples/amazon-codeguru-python-detectors

  Python code examples for Amazon CodeGuru Reviewer

  Language:Python236126

• aws-samples/amazon-codeguru-java-detectors

  Java code examples for Amazon CodeGuru Reviewer

  Language:Java226018

• aws/aws-codeguru-cli

  Command line wrapper to interact with CodeGuru Reviewer

  Language:Java228511

• d-akara/java-tracing-agent

  Java runtime dynamic tracing

  Language:Java20317

• TOLLER-Android/main

  Language:Smali20215

• secure-software-engineering/secucheck

  Soot-based taint analysis with internal Java fluent interface for security specifications in fluentTQL implemented with MagpieBridge to support multiple IDEs.

  Language:Java161187

• arguslab/NativeFlowBench

  Benchmark apps for static analyzing native world of Android applications.

  Language:Java121025

• wala/MemSAT

  Language:Java12634

• d3sformal/weverca

  Web verification for PHP

  Language:C#9501

• thanhminhmr/JavaCIA

  Java Change Impact Analysis, a library that parse 2 consecutive versions of a Java project and produce some advices about where (not) to do regression testing on your program.

  Language:Java9301

• ucr-riple/DynCallGraphJS

  A dynamic call graph generator using Jalangi2

  Language:JavaScript6300

• hdiv/vertx-vulnerable-musicstore

  Language:Java2702