All Projects → Ikos → Similar Projects or Alternatives

425 Open source projects that are alternatives of or similar to Ikos

Semgrep Rules
Semgrep rules registry
Stars: ✭ 140 (-89.77%)
Pyt
A Static Analysis Tool for Detecting Security Vulnerabilities in Python Web Applications
Stars: ✭ 2,061 (+50.66%)
iec-checker
Static analysis of IEC 61131-3 programs
Stars: ✭ 36 (-97.37%)
Bap
Binary Analysis Platform
Stars: ✭ 1,385 (+1.24%)
Detect It Easy
Program for determining types of files for Windows, Linux and MacOS.
Stars: ✭ 2,982 (+117.98%)
Dg
[LLVM Static Slicer] Various program analyses, construction of dependence graphs and program slicing of LLVM bitcode.
Stars: ✭ 242 (-82.31%)
Phasar
A LLVM-based static analysis framework.
Stars: ✭ 503 (-63.23%)
progge.rs
Program analysis playground for a simple, imperative language
Stars: ✭ 29 (-97.88%)
Seahorn
SeaHorn Verification Framework
Stars: ✭ 270 (-80.26%)
Crab Llvm
Static Analyzer for LLVM bitcode based on Abstract Interpretation
Stars: ✭ 143 (-89.55%)
Crab
CoRnucopia of ABstractions: a library for building abstract interpretation-based analyses
Stars: ✭ 102 (-92.54%)
Linter
Static Analysis Compiler Plugin for Scala
Stars: ✭ 273 (-80.04%)
clam
Static Analyzer for LLVM bitcode based on Abstract Interpretation
Stars: ✭ 180 (-86.84%)
tiro
TIRO - A hybrid iterative deobfuscation framework for Android applications
Stars: ✭ 20 (-98.54%)
Codeql Go
The CodeQL extractor and libraries for Go.
Stars: ✭ 224 (-83.63%)
Wala
T.J. Watson Libraries for Analysis
Stars: ✭ 395 (-71.13%)
Pyre Check
Performant type-checking for python.
Stars: ✭ 5,716 (+317.84%)
Pysonar2
PySonar2: an advanced semantic indexer for Python
Stars: ✭ 1,074 (-21.49%)
Mutual labels:  static-analysis
Codechecker
CodeChecker is an analyzer tooling, defect database and viewer extension for the Clang Static Analyzer and Clang Tidy
Stars: ✭ 1,209 (-11.62%)
Mutual labels:  static-analysis
Inca
Incremental Program Analysis Framework
Stars: ✭ 49 (-96.42%)
Mutual labels:  program-analysis
Apisan
APISan: Sanitizing API Usages through Semantic Cross-Checking
Stars: ✭ 46 (-96.64%)
Mutual labels:  static-analysis
Expose
A Dynamic Symbolic Execution (DSE) engine for JavaScript. ExpoSE is highly scalable, compatible with recent JavaScript standards, and supports symbolic modelling of strings and regular expressions.
Stars: ✭ 94 (-93.13%)
Mutual labels:  program-analysis
Php codesniffer
PHP_CodeSniffer is a set of two PHP scripts; the main phpcs script that tokenizes PHP, JavaScript and CSS files to detect violations of a defined coding standard, and a second phpcbf script to automatically correct coding standard violations. PHP_CodeSniffer is an essential development tool that ensures your code remains clean and consistent.
Stars: ✭ 9,004 (+558.19%)
Mutual labels:  static-analysis
Php Language Server
PHP Implementation of the VS Code Language Server Protocol 🆚↔🖥
Stars: ✭ 1,019 (-25.51%)
Mutual labels:  static-analysis
Clair
Vulnerability Static Analysis for Containers
Stars: ✭ 8,356 (+510.82%)
Mutual labels:  static-analysis
Radon
Various code metrics for Python code
Stars: ✭ 1,193 (-12.79%)
Mutual labels:  static-analysis
Endpointfinder
Stars: ✭ 34 (-97.51%)
Mutual labels:  static-analysis
Spoon
Spoon is a metaprogramming library to analyze and transform Java source code (up to Java 15). 🥄 is made with ❤️, 🍻 and ✨. It parses source files to build a well-designed AST with powerful analysis and transformation API.
Stars: ✭ 1,078 (-21.2%)
Mutual labels:  static-analysis
Phpinspectionsea
A Static Code Analyzer for PHP (a PhpStorm/Idea Plugin)
Stars: ✭ 1,211 (-11.48%)
Mutual labels:  static-analysis
Cognicrypt
CogniCrypt is an Eclipse plugin that supports Java developers in using Java Cryptographic APIs.
Stars: ✭ 50 (-96.35%)
Mutual labels:  static-analysis
Amdh
Android Mobile Device Hardening
Stars: ✭ 95 (-93.06%)
Mutual labels:  static-analysis
Intellidroid
A targeted input generator for Android that improves the effectiveness of dynamic malware analysis.
Stars: ✭ 46 (-96.64%)
Mutual labels:  static-analysis
Php Cs Fixer Custom Fixers
A set of custom fixers for PHP CS Fixer
Stars: ✭ 75 (-94.52%)
Mutual labels:  static-analysis
Stoat
STatic (LLVM) Object file Analysis Tool
Stars: ✭ 44 (-96.78%)
Mutual labels:  static-analysis
Unimport
A linter, formatter for finding and removing unused import statements.
Stars: ✭ 96 (-92.98%)
Mutual labels:  static-analysis
Domtresat
Dominator Tree LLVM Pass to Test Satisfiability
Stars: ✭ 42 (-96.93%)
Mutual labels:  static-analysis
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.
Stars: ✭ 10,212 (+646.49%)
Mutual labels:  static-analysis
Cryptoanalysis
CogniCrypt_SAST: CrySL-to-Static Analysis Compiler
Stars: ✭ 36 (-97.37%)
Mutual labels:  static-analysis
Babel Plugin I18next Extract
Babel plugin that statically extracts i18next and react-i18next translation keys.
Stars: ✭ 93 (-93.2%)
Mutual labels:  static-analysis
Cfmt
cfmt is a tool to wrap Go comments over a certain length to a new line.
Stars: ✭ 28 (-97.95%)
Mutual labels:  static-analysis
Anchore Engine
A service that analyzes docker images and applies user-defined acceptance policies to allow automated container image validation and certification
Stars: ✭ 1,192 (-12.87%)
Mutual labels:  static-analysis
Befa Library
High-level library for executable binary file analysis
Stars: ✭ 12 (-99.12%)
Mutual labels:  static-analysis
Structured Acceptance Test
An open format definition for static analysis tools
Stars: ✭ 10 (-99.27%)
Mutual labels:  static-analysis
Squealer
Telling tales on you for leaking secrets!
Stars: ✭ 97 (-92.91%)
Mutual labels:  static-analysis
Jpacman Framework
Pacman-inspired game, for teaching testing purposes.
Stars: ✭ 95 (-93.06%)
Mutual labels:  static-analysis
Securify2
Securify v2.0
Stars: ✭ 92 (-93.27%)
Mutual labels:  static-analysis
Kube Linter
KubeLinter is a static analysis tool that checks Kubernetes YAML files and Helm charts to ensure the applications represented in them adhere to best practices.
Stars: ✭ 1,177 (-13.96%)
Mutual labels:  static-analysis
Phpqa
Docker image that provides static analysis tools for PHP
Stars: ✭ 853 (-37.65%)
Mutual labels:  static-analysis
Sonarondocker
🐳 📡 Docker way of running SonarQube + any DB
Stars: ✭ 25 (-98.17%)
Mutual labels:  static-analysis
Sonar Swift
sonar-swift.SonarQube iOS Plugin, Support Objective-C And Swift, Support Infer (SonarQube iOS 代码扫描插件,支持 Objective-C 和 Swift ,支持 Infer 结果导入 ) base on https://github.com/Idean/sonar-swift
Stars: ✭ 70 (-94.88%)
Mutual labels:  static-analysis
Devskim Sublime Plugin
DEPRECATED -- DevSkim plugin for Sublime Text 3.
Stars: ✭ 16 (-98.83%)
Mutual labels:  static-analysis
Sonar Jproperties Plugin
SonarQube Java Properties Analyzer
Stars: ✭ 5 (-99.63%)
Mutual labels:  static-analysis
Florentino
Fast Static File Analysis Framework
Stars: ✭ 92 (-93.27%)
Mutual labels:  static-analysis
Static Analysis
⚙️ A curated list of static analysis (SAST) tools for all programming languages, config files, build tools, and more.
Stars: ✭ 9,310 (+580.56%)
Mutual labels:  static-analysis
Dagda
a tool to perform static analysis of known vulnerabilities, trojans, viruses, malware & other malicious threats in docker images/containers and to monitor the docker daemon and running docker containers for detecting anomalous activities
Stars: ✭ 820 (-40.06%)
Mutual labels:  static-analysis
Cfn nag
Linting tool for CloudFormation templates
Stars: ✭ 808 (-40.94%)
Mutual labels:  static-analysis
Terraform Security Scan
Run a security scan on your terraform with the very nice https://github.com/liamg/tfsec
Stars: ✭ 64 (-95.32%)
Mutual labels:  static-analysis
Awesome Go Linters
A curated list of awesome Go linters. More than 60 linters and tools!
Stars: ✭ 801 (-41.45%)
Mutual labels:  static-analysis
Sonarts
Static code analyzer for TypeScript
Stars: ✭ 776 (-43.27%)
Mutual labels:  static-analysis
Patdroid
A Program Analysis Toolkit for Android
Stars: ✭ 95 (-93.06%)
Mutual labels:  program-analysis
1-60 of 425 similar projects