GitPlanet

Cheap and reliable Node.js hosting starts at $3/month, and $1/month static HTML hosting

Created with love in Canada, visit hostnodejs.com today

Feel like to post an Ad? Learn Details
All Projects → edgardozoppi → analysis-net

edgardozoppi / analysis-net

Licence: MIT License
Static analysis framework for .NET programs.

Programming Languages

C#
18002 projects

Labels

apilibraryframeworkbackendanalysisstatic-code-analysisdotnetstatic-analysisssacontrol-flow-analysiscilnet-frameworkdata-flow-analysisstatic-single-assignmentthree-address-codepoints-to-analysiscall-graph-analysis

Projects that are alternatives of or similar to analysis-net

Security Code Scan
Vulnerability Patterns Detector for C# and VB.NET
Stars: ✭ 550 (+2794.74%)
Mutual labels:  analysis, static-code-analysis, 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 (+48900%)
Mutual labels:  analysis, static-code-analysis, static-analysis
Chronos
Chronos - A static race detector for the go language
Stars: ✭ 272 (+1331.58%)
Mutual labels:  analysis, static-code-analysis, static-analysis
Phan
Phan is a static analyzer for PHP. Phan prefers to avoid false-positives and attempts to prove incorrectness rather than correctness.
Stars: ✭ 5,194 (+27236.84%)
Mutual labels:  analysis, static-code-analysis, static-analysis
Sonar Java
☕️ SonarSource Static Analyzer for Java Code Quality and Security
Stars: ✭ 745 (+3821.05%)
Mutual labels:  analysis, static-code-analysis, static-analysis
lints
Lint all your JavaScript, CSS, HTML, Markdown and Dockerfiles with a single command
Stars: ✭ 14 (-26.32%)
Mutual labels:  analysis, static-code-analysis, static-analysis
Dg
[LLVM Static Slicer] Various program analyses, construction of dependence graphs and program slicing of LLVM bitcode.
Stars: ✭ 242 (+1173.68%)
Mutual labels:  analysis, static-code-analysis, static-analysis
klara
Automatic test case generation for python and static analysis library
Stars: ✭ 250 (+1215.79%)
Mutual labels:  static-code-analysis, static-analysis, ssa
go-mnd
Magic number detector for Go.
Stars: ✭ 153 (+705.26%)
Mutual labels:  analysis, static-analysis
unimport
unimport is a Go static analysis tool to find unnecessary import aliases.
Stars: ✭ 64 (+236.84%)
Mutual labels:  static-code-analysis, static-analysis
constyble
CSS complexity linter
Stars: ✭ 92 (+384.21%)
Mutual labels:  analysis, static-analysis
rstatic
An R package for static analysis of R code.
Stars: ✭ 32 (+68.42%)
Mutual labels:  static-analysis, static-single-assignment
phpstan-webmozart-assert
PHPStan extension for webmozart/assert
Stars: ✭ 132 (+594.74%)
Mutual labels:  static-code-analysis, static-analysis
gotcha
Go Taint CHeck Analyser
Stars: ✭ 40 (+110.53%)
Mutual labels:  static-code-analysis, static-analysis
sonarlint4netbeans
SonarLint integration for Apache Netbeans
Stars: ✭ 23 (+21.05%)
Mutual labels:  static-code-analysis, static-analysis
identypo
identypo is a Go static analysis tool to find typos in identifiers (functions, function calls, variables, constants, type declarations, packages, labels).
Stars: ✭ 26 (+36.84%)
Mutual labels:  static-code-analysis, static-analysis
custom-bytecode-analyzer
Java bytecode analyzer customizable via JSON rules
Stars: ✭ 66 (+247.37%)
Mutual labels:  analysis, static-analysis
phpstan-nette
Nette Framework class reflection extension for PHPStan & framework-specific rules
Stars: ✭ 87 (+357.89%)
Mutual labels:  static-code-analysis, static-analysis
Cpp2IL
Work-in-progress tool to reverse unity's IL2CPP toolchain.
Stars: ✭ 689 (+3526.32%)
Mutual labels:  analysis, static-analysis
nakedret
nakedret is a Go static analysis tool to find naked returns in functions greater than a specified function length.
Stars: ✭ 82 (+331.58%)
Mutual labels:  static-code-analysis, static-analysis
View All Similar Projects ➔

Analysis.NET

Static analysis framework for .NET programs.

Features:

  • Bytecode level
  • No need for source code
  • Can analyze standard libraries
  • Intermediate representations
    • Simplified bytecode
    • Three address code
    • Static single assignment
    • Aggregated expressions
  • Control-flow analysis
    • Normal
    • Exceptional
    • Dominance
    • Dominance frontier
    • Natural loops
  • Data-flow analysis
    • Reaching definitions
    • Def-use and use-def chains
    • Live variables
    • Copy propagation
    • Points-to
  • Call-graph analysis
    • Class hierarchy
  • Transformations
    • Webs
    • Inlining
  • Type inference
  • Serialization
    • DOT
    • DGML
Note that the project description data, including the texts, logos, images, and/or trademarks, for each open source project belongs to its rightful owner. If you wish to add or remove any projects, please contact us at [email protected].