All Projects → Soot → Similar Projects or Alternatives

801 Open source projects that are alternatives of or similar to Soot

Complementarity.jl
provides a modeling interface for mixed complementarity problems (MCP) and math programs with equilibrium problems (MPEC) via JuMP
Stars: ✭ 54 (-97.36%)
Mutual labels:  optimization
Applicationinspector
A source code analyzer built for surfacing features of interest and other characteristics to answer the question 'What's in the code?' quickly using static analysis with a json based rules engine. Ideal for scanning components before use or detecting feature level changes.
Stars: ✭ 3,873 (+89.02%)
Mutual labels:  static-analysis
Riskparity.py
Fast and scalable design of risk parity portfolios
Stars: ✭ 122 (-94.05%)
Mutual labels:  optimization
Onelog
Dead simple, super fast, zero allocation and modular logger for Golang
Stars: ✭ 389 (-81.02%)
Mutual labels:  optimization
Dsp
An open-source parallel optimization solver for structured mixed-integer programming
Stars: ✭ 53 (-97.41%)
Mutual labels:  optimization
Engine
Droidefense: Advance Android Malware Analysis Framework
Stars: ✭ 386 (-81.16%)
Mutual labels:  static-analysis
Dists
IQA: Deep Image Structure and Texture Similarity Metric
Stars: ✭ 101 (-95.07%)
Mutual labels:  optimization
Enlightn
Your performance & security consultant, an artisan command away.
Stars: ✭ 378 (-81.55%)
Mutual labels:  static-analysis
Cognicrypt
CogniCrypt is an Eclipse plugin that supports Java developers in using Java Cryptographic APIs.
Stars: ✭ 50 (-97.56%)
Mutual labels:  static-analysis
Blackbox
A Python module for parallel optimization of expensive black-box functions
Stars: ✭ 378 (-81.55%)
Mutual labels:  optimization
Mutant
Automated code reviews via mutation testing - semantic code coverage.
Stars: ✭ 1,794 (-12.45%)
Mutual labels:  static-analysis
Dss
📄 Documented Style Sheets Parser
Stars: ✭ 375 (-81.7%)
Mutual labels:  static-analysis
Gd Uap
Generalized Data-free Universal Adversarial Perturbations
Stars: ✭ 50 (-97.56%)
Mutual labels:  optimization
Ifopt
An Eigen-based, light-weight C++ Interface to Nonlinear Programming Solvers (Ipopt, Snopt)
Stars: ✭ 372 (-81.84%)
Mutual labels:  optimization
Advisor
Open-source implementation of Google Vizier for hyper parameters tuning
Stars: ✭ 1,359 (-33.67%)
Mutual labels:  optimization
Reflective Bind
Eliminate wasteful re-rendering in React components caused by inline functions
Stars: ✭ 366 (-82.14%)
Mutual labels:  optimization
Tinystr
A small ASCII-only bounded length string representation.
Stars: ✭ 48 (-97.66%)
Mutual labels:  optimization
Wssat
WEB SERVICE SECURITY ASSESSMENT TOOL
Stars: ✭ 360 (-82.43%)
Mutual labels:  static-analysis
Bayesiantracker
Bayesian multi-object tracking
Stars: ✭ 121 (-94.09%)
Mutual labels:  optimization
Clang Tools Extra
Mirror kept for legacy. Moved to https://github.com/llvm/llvm-project
Stars: ✭ 358 (-82.53%)
Mutual labels:  static-analysis
Intellidroid
A targeted input generator for Android that improves the effectiveness of dynamic malware analysis.
Stars: ✭ 46 (-97.76%)
Mutual labels:  static-analysis
Detekt
Static code analysis for Kotlin
Stars: ✭ 4,169 (+103.47%)
Mutual labels:  static-analysis
Awesome Golang Security
Awesome Golang Security resources 🕶🔐
Stars: ✭ 1,355 (-33.87%)
Mutual labels:  static-analysis
Exakat
The Exakat Engine : smart static analysis for PHP
Stars: ✭ 346 (-83.11%)
Mutual labels:  static-analysis
Stoat
STatic (LLVM) Object file Analysis Tool
Stars: ✭ 44 (-97.85%)
Mutual labels:  static-analysis
Codecompass
CodeCompass is a software comprehension tool for large scale software written in C/C++ and Java
Stars: ✭ 342 (-83.31%)
Mutual labels:  static-analysis
Search Engine Optimization
🔍 A helpful checklist/collection of Search Engine Optimization (SEO) tips and techniques.
Stars: ✭ 1,798 (-12.25%)
Mutual labels:  optimization
Cppcheck
static analysis of C/C++ code
Stars: ✭ 3,845 (+87.65%)
Mutual labels:  static-analysis
Gasmodels.jl
A Julia/JuMP Package for Gas Network Optimization
Stars: ✭ 43 (-97.9%)
Mutual labels:  optimization
Semgrep
Lightweight static analysis for many languages. Find bug variants with patterns that look like source code.
Stars: ✭ 5,668 (+176.62%)
Mutual labels:  static-analysis
Qreverse
A small study in hardware accelerated AoS reversal
Stars: ✭ 97 (-95.27%)
Mutual labels:  optimization
Eslint Plugin Vue
Official ESLint plugin for Vue.js
Stars: ✭ 3,592 (+75.31%)
Mutual labels:  static-analysis
Domtresat
Dominator Tree LLVM Pass to Test Satisfiability
Stars: ✭ 42 (-97.95%)
Mutual labels:  static-analysis
Clangkit
ClangKit provides an Objective-C frontend to LibClang. Source tokenization, diagnostics and fix-its are actually implemented.
Stars: ✭ 330 (-83.89%)
Mutual labels:  static-analysis
Serverless Layers
Serverless.js plugin that implements AWS Lambda Layers which reduces drastically lambda size, warm-up and deployment time.
Stars: ✭ 119 (-94.19%)
Mutual labels:  optimization
Pmd
An extensible multilanguage static code analyzer.
Stars: ✭ 3,667 (+78.97%)
Mutual labels:  static-analysis
Model Optimization
A toolkit to optimize ML models for deployment for Keras and TensorFlow, including quantization and pruning.
Stars: ✭ 992 (-51.59%)
Mutual labels:  optimization
Awesome Dotnet Security
Awesome .NET Security Resources
Stars: ✭ 325 (-84.14%)
Mutual labels:  static-analysis
Unimport
A linter, formatter for finding and removing unused import statements.
Stars: ✭ 96 (-95.31%)
Mutual labels:  static-analysis
Dlint
Dlint is a tool for encouraging best coding practices and helping ensure we're writing secure Python code.
Stars: ✭ 320 (-84.38%)
Mutual labels:  static-analysis
Online Relationship Learning
Unsupervised ML algorithm for predictive modeling and time-series analysis
Stars: ✭ 34 (-98.34%)
Mutual labels:  optimization
Cvxpy
A Python-embedded modeling language for convex optimization problems.
Stars: ✭ 3,645 (+77.89%)
Mutual labels:  optimization
Dependency Cruiser
Validate and visualize dependencies. Your rules. JavaScript, TypeScript, CoffeeScript. ES6, CommonJS, AMD.
Stars: ✭ 2,326 (+13.52%)
Mutual labels:  static-analysis
React Scope
Visualize your React components as you interact with your application.
Stars: ✭ 316 (-84.58%)
Mutual labels:  optimization
K Means Constrained
K-Means clustering - constrained with minimum and maximum cluster size
Stars: ✭ 33 (-98.39%)
Mutual labels:  optimization
Pytype
A static type analyzer for Python code
Stars: ✭ 3,545 (+73.01%)
Mutual labels:  static-analysis
Limes
Link Discovery Framework for Metric Spaces.
Stars: ✭ 94 (-95.41%)
Mutual labels:  optimization
Jaadas
Joint Advanced Defect assEsment for android applications
Stars: ✭ 304 (-85.16%)
Mutual labels:  static-analysis
Cfmt
cfmt is a tool to wrap Go comments over a certain length to a new line.
Stars: ✭ 28 (-98.63%)
Mutual labels:  static-analysis
Go Callvis
Visualize call graph of a Go program using Graphviz
Stars: ✭ 3,692 (+80.19%)
Mutual labels:  static-analysis
Config Lint
Command line tool to validate configuration files
Stars: ✭ 118 (-94.24%)
Mutual labels:  static-analysis
Shellcheck
ShellCheck, a static analysis tool for shell scripts
Stars: ✭ 27,211 (+1228.01%)
Mutual labels:  static-analysis
Okalgo
Idiomatic Kotlin extensions for ojAlgo
Stars: ✭ 20 (-99.02%)
Mutual labels:  optimization
Ltecleanerfoss
The last Android cleaner you'll ever need!
Stars: ✭ 141 (-93.12%)
Mutual labels:  optimization
Gcc Python Plugin
GCC plugin that embeds CPython inside the compiler
Stars: ✭ 140 (-93.17%)
Mutual labels:  static-analysis
Cscout
C code refactoring browser
Stars: ✭ 139 (-93.22%)
Mutual labels:  static-analysis
Tensorrt Utils
⚡ Useful scripts when using TensorRT
Stars: ✭ 136 (-93.36%)
Mutual labels:  optimization
React Memoize
🧠 React memoization library we all deserve
Stars: ✭ 125 (-93.9%)
Mutual labels:  optimization
Qmlt
The Quantum Machine Learning Toolbox (QMLT) is a Strawberry Fields application that simplifies the optimization of variational quantum circuits (also known as parametrized quantum circuits).
Stars: ✭ 106 (-94.83%)
Mutual labels:  optimization
Serverless Plugin Webpack
Serverless Plugin Webpack
Stars: ✭ 72 (-96.49%)
Mutual labels:  optimization
301-360 of 801 similar projects