SPARTA Alternatives

Similar projects and alternatives to SPARTA

• AdGuardDNS

  60 725 4.4 Go SPARTA VS AdGuardDNS

  Public DNS resolver that protects you from ad trackers

  

• infer

  42 14,688 9.9 OCaml SPARTA VS infer

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

  

• InfluxDB

  www.influxdata.com

  sponsored

  Power Real-Time Data Analytics at Scale. Get real-time insights from all types of time series data with InfluxDB. Ingest, query, and analyze billions of data points in real-time with unbounded cardinality.

  

• prusti-dev

  23 1,459 8.8 Rust SPARTA VS prusti-dev

  A static verifier for Rust, based on the Viper verification infrastructure.

  

• Error Prone

  16 6,711 9.4 Java SPARTA VS Error Prone

  Catch common Java mistakes as compile-time errors

  

• MIRAI

  9 956 0.0 Rust SPARTA VS MIRAI

  Rust mid-level IR Abstract Interpreter

  

• gobra

  3 92 8.9 Scala SPARTA VS gobra

  Gobra is an automated, modular verifier for Go programs, based on the Viper verification infrastructure.