Awesome Open Source

Programming Languages

Search results for java static analysis

static-analysis x

142 search results found

Infer ⭐ 14,568

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

Bytecode Viewer ⭐ 14,334

A Java 8+ Jar & Android APK Reverse Engineering Suite (Decompiler, Editor, Debugger & More)

Semgrep ⭐ 9,612

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

Sonarqube ⭐ 8,341

Continuous Inspection

Checkstyle ⭐ 8,018

Checkstyle is a development tool to help programmers write Java code that adheres to a coding standard. By default it supports the Google Java Style Guide and Sun Code Conventions, but is highly configurable. It can be invoked with an ANT task and a command line program.

Error Prone ⭐ 6,651

Catch common Java mistakes as compile-time errors

Recaf ⭐ 5,406

The modern Java bytecode editor

An extensible multilanguage static code analyzer.

Nullaway ⭐ 3,463

A tool to help eliminate NullPointerExceptions (NPEs) in your Java code with low build-time overhead

Spotbugs ⭐ 3,261

SpotBugs is FindBugs' successor. A tool for static analysis to look for bugs in Java code.

Soot - A Java optimization framework

Find Sec Bugs ⭐ 2,160

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

Just Another Android App ⭐ 1,656

An Android base app with loads of cool libraries/configuration NOT MAINTAINED

Spoon ⭐ 1,609

Spoon is a metaprogramming library to analyze and transform Java source code. 🥄 is made with ❤️, 🍻 and ✨. It parses source files to build a well-designed AST with powerful analysis and transformation API.

Phpinspectionsea ⭐ 1,389

A Static Code Analyzer for PHP (a PhpStorm/Idea Plugin)

Pysonar2 ⭐ 1,248

PySonar2: a semantic indexer for Python with interprocedual type inference

Tai E ⭐ 1,143

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

Sonar Java ⭐ 1,068

☕ SonarSource Static Analyzer for Java Code Quality and Security

Horusec ⭐ 1,000

Horusec is an open source tool that improves identification of vulnerabilities in your project with just one command.

Flowdroid ⭐ 957

FlowDroid Static Data Flow Tracker

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

Codecompass ⭐ 478

CodeCompass is a software comprehension tool for large scale software written in C/C++ and Java

Jar Analyzer ⭐ 467

Jar Analyzer - 一个JAR包分析工具，批量分析搜索，方法调用关系搜索，字符串搜索，Spring分析，CFG分析，JV Stack Frame分析，远程分析Tomcat，自定义SQL查询

📝 Source repository of Qodana Help

The implementation of the Rascal meta-programming language (including interpreter, type checker, parser generator, compiler and JVM based run-time system)

Crabviz ⭐ 379

🦀 A tool to generate interactive call graphs for multiple languages

Jspecify ⭐ 375

An artifact of fully-specified annotations to power static-analysis checks, beginning with nullness analysis.

Sonar Php ⭐ 365

🐘 SonarPHP: PHP static analyzer for SonarQube & SonarLint

Modernizer Maven Plugin ⭐ 351

Detect uses of legacy Java APIs

Soottutorial ⭐ 324

A step-by-step tutorial for Soot (a Java static analysis framework)

Warnings Ng Plugin ⭐ 324

Jenkins Warnings Plugin - Next Generation

Refactorfirst ⭐ 322

Identifies and prioritizes God Classes and Highly Coupled classes in Java codebases you should refactor first.

Code metrics for Java code by means of static analysis

Forbidden Apis ⭐ 306

Policeman's Forbidden API Checker

Quality Police for Java projects: aggregator of Checkstyle and PMD

Awesome Java Security ⭐ 291

Awesome Java Security Resources 🕶☕🔐

Skidsuite ⭐ 249

A collection of java reverse engineering tools and informational links

Nju Software Analysis Homework ⭐ 233

南京大学《软件分析》课程课后作业(非Bamboo) NJU's software analysis homework; ... Not official, just a reference

Qodana Action ⭐ 232

⚙️ Scan your Go, Java, Kotlin, PHP, Python, JavaScript, TypeScript, .NET projects at GitHub with Qodana. This repository contains Qodana for Azure, GitHub, CircleCI and Gradle

Cpachecker ⭐ 204

CPAchecker, the Configurable Software-Verification Platform (read-only mirror)

Hosted and command-line calculator of cohesion metrics for Java code

Gradle Pitest Plugin ⭐ 190

Gradle plugin for PIT Mutation Testing

Sonar Swift ⭐ 182

sonar-swift.SonarQube iOS Plugin, Support Objective-C/Swift/Java, Support import Infer Issue (SonarQube iOS 代码扫描插件，支持 Objective-C 和 Swift / Java，支持 Infer 结果导入 ) base on https://github.com/Idean/sonar-swift

Personal_script ⭐ 179

Static code analysis for CFML (a linter)

Securify ⭐ 168

[DEPRECATED] Security Scanner for Ethereum Smart Contracts

Rubysonar ⭐ 166

an advanced semantic indexer for Ruby

Error Prone Support ⭐ 157

Error Prone extensions: extra bug checkers and a large battery of Refaster rules.

Java Disassembler ⭐ 151

The Java Disassembler

Formulog ⭐ 137

Datalog with support for SMT queries and first-order functional programming

🎍 Universal, Multi Language, Multi Paradigm code analyzer

Qilin: A New Framework for Supporting Fine-Grained Context-Sensitivity in Java Pointer Analysis

Spatool ⭐ 104

静态程序分析工具主要生成方法的CFG和.java文件的AST

Eclipse Cs ⭐ 88

The Eclipse Checkstyle plug-in integrates the Checkstyle Java code auditor into the Eclipse IDE. The plug-in provides real-time feedback to the user about violations of rules that check for coding style and possible error prone code constructs.

Jpacman Framework ⭐ 85

Pacman-inspired game, for teaching testing purposes.

Analyse package dependency networks at the call graph level

Analysis Model ⭐ 84

A library to read static analysis reports into a Java object model

Static analysis using data-flow and type inference for PHP applications - Implemented in Scala

Static checker for Java

Maple Ir ⭐ 69

Industrial IR-based static analysis framework for Java bytecode

Magpiebridge ⭐ 66

MagpieBridge LSP Framework --- A simple solution for your analysis IDE integration

Cryptoanalysis ⭐ 59

CogniCrypt_SAST: CrySL-to-Static Analysis Compiler

Cognicrypt ⭐ 58

CogniCrypt is an Eclipse plugin that supports Java developers in using Java Cryptographic APIs.

Custom Bytecode Analyzer ⭐ 51

Java bytecode analyzer customizable via JSON rules

Sbt Findbugs ⭐ 48

FindBugs static analysis plugin for sbt.

Sonar Html ⭐ 47

Static analyzer for HTML used in Sonar ecosystem

The Fuzion Language Implementation

Sonar Css Plugin ⭐ 38

SonarQube CSS / SCSS / Less Analyzer

Dmn Check ⭐ 38

A tool which performs static analyses on Decision Model Notation (DMN) files to detect bugs

Towards Measuring Supply Chain Attacks on Package Managers for Interpreted Languages

Sonar Jacoco ⭐ 34

SonarQube JaCoCo Plugin

KeY Theorem Prover for Deductive Java Verification

📚 a modular easy to use Library for Static Analysis aiming at multi-language analysis

Polystat ⭐ 31

Polyglot Static Analyzer for Object-Oriented Programs Based on EOLANG and 𝜑-Calculus

Spotbugs Intellij Plugin ⭐ 30

The SpotBugs Plugin for IntelliJ IDEA

Sonarlint4netbeans ⭐ 30

SonarLint integration for Apache Netbeans

Errorprone Slf4j ⭐ 29

An Error Prone plugin for SLF4J

Javaslicer ⭐ 29

A program slicer for Java, based on the system dependence graph (SDG).

Tamiflex ⭐ 28

TamiFlex facilitates static analysis of programs that use reflection and custom class loaders

Sonar Gherkin Plugin ⭐ 28

SonarQube Cucumber Gherkin Analyzer

Android Gradle Java Multi Module Template ⭐ 27

Static analysis tools: PMD, Findbugs, Checkstyle, Lint and Jacoco on multi module build with an Android app module, Android library module and a Java module

A graph-based static-dynamic hybrid DEX code analysis tool

Sonarondocker ⭐ 25

🐳 📡 Docker way of running SonarQube + any DB

Codemodder Java ⭐ 23

a framework for building java codemods

Not elegant code shall not pass! ⚔️🧙‍♂️

Debt Manager ⭐ 21

A personal app to store people that owe you money or you owe money to. "Mo Money Mo Problems" 🎵 - The Notorious B.I.G. 😎

Tracesonar ⭐ 19

Call graph analyzer for Java

StaDynA: Addressing the Problem of Dynamic Code Updates in the Security Analysis of Android Applications

Snap Programming Language

Libpecker ⭐ 16

an obfuscation-resilient, highly precise and reliable library detector for Android applications

Aws Codeguru Cli ⭐ 16

Command line wrapper to interact with CodeGuru Reviewer

Violations Gradle Plugin ⭐ 16

Gradle plugin that will find report files from static code analysis, present and optionally fail the build.

Gradle Modernizer Plugin ⭐ 15

Gradle plugin for detecting use of legacy APIs which modern Java versions supersede

Rewrite Static Analysis ⭐ 15

OpenRewrite recipes for identifying and fixing static analysis issues.

Averroes ⭐ 14

Java bytecode generator for sound and precise partial program analysis

fast and effective way to access and analyze java bytecode

Soot Android Static Analysis ⭐ 14

使用Soot进行android应用静态分析

Autograding Github Action ⭐ 14

GitHub Action to autograde projects based on a configurable set of metrics

TIRO - A hybrid iterative deobfuscation framework for Android applications

Related Searches

Java Spring (21,350)

Java Spring Boot (11,982)

Java Video Game (8,093)

Java Gradle (8,086)

Javascript Java (6,494)

Java Docker (6,180)

Java Database (6,015)

Java Mysql (5,954)

Java Sdk (5,864)

Java Rest (4,956)

1-100 of 142 search results

Privacy | About | Terms | Follow Us On Twitter

Copyright 2018-2024 Awesome Open Source. All rights reserved.