theosotr

theosotr's Stars

• oracle/graal

  GraalVM compiles Java applications into native executables that start instantly, scale fast, and use fewer compute resources 🚀

  Language:Java20.3k4684.2k1.6k

• Z3Prover/z3

  The Z3 Theorem Prover

  Language:C++10.2k1815.5k1.5k

• lampepfl/dotty

  The Scala 3 compiler, also known as Dotty.

  Language:Scala5.5k2108.1k989

• dafny-lang/dafny

  Dafny is a verification-aware programming language

  Language:C#2.9k792.7k259

• microsoft/restler-fuzzer

  RESTler is the first stateful REST API fuzzing tool for automatically testing cloud services through their REST APIs and finding security and reliability bugs in these services.

  Language:Python2.6k35489296

• sqlancer/sqlancer

  Automated testing to find logic and performance bugs in database systems

  Language:Java1.5k32139277

• AliveToolkit/alive2

  Automatic verification of LLVM optimizations

  Language:C++7662347297

• danleh/wasabi

  A dynamic analysis framework for WebAssembly programs.

  Language:WebAssembly362122948

• dspinellis/dgsh

  Shell supporting pipelines to and from multiple processes

  Language:C3241710622

• sieve-project/sieve

  Automatic Reliability Testing for Kubernetes Controllers and Operators

  Language:Python322111920

• vitsalis/PyCG

  Static Python call graph generator

  Language:Python31794958

• nunoplopes/alive

  Alive: Automatic LLVM's Instcombine Verifier

  Language:Python218163522

• prisma/database-schema-examples

  Database Schema Examples we strive to support in Prisma

  Language:TSQL209278449

• testsmt/yinyang

  A fuzzing framework for SMT solvers

  Language:Python18263022

• srg-imperial/SaBRe

  Load-time selective binary rewriting

  Language:C152101016

• dspinellis/alexandria3k

  Local relational access to openly-available publication data sets

  Language:Python814714

• DeadCodeProductions/dead

  Language:C504305

• hephaestus-compiler-project/hephaestus

  A framework for testing compilers' type checkers

  Language:Python4943310

• Practical-Formal-Methods/queryFuzz

  QueryFuzz implements a metamorphic testing approach to test Datalog engines.

  Language:Python36405

• shao-hua-li/CompDiff

  Language:C33312

• xlab-uiuc/openctest

  Testing Configuration Changes in Context to Prevent Production Failures

  Language:Python276231

• dspinellis/rdbunit

  Unit testing for SQL queries

  Language:Python23393

• theosotr/buildfs

  A dynamic method for detecting faults in incremental and parallel builds.

  Language:OCaml16302

• testsmt/janus

  A tool for testing SMT solvers for incompleteness bugs

  Language:Python15200

• theosotr/cynthia

  Data-Oriented Differential Testing of ORM Systems.

  Language:Scala146171

• StefanosChaliasos/solidity-inline-assembly

  Replication package for the OOPSLA 2022 paper titled "A Study of Inline Assembly in Solidity Smart Contracts".

  Language:Python8100

• hephaestus-compiler-project/hephaestus-pldi-eval

  Replication package for the PLDI 2022 paper titled "Finding Typing Compiler Bugs".

  Language:Python6200

• hephaestus-compiler-project/types-bug-study-artifact

  Replication package for the OOPSLA 2021 paper titled "Well-Typed Programs Can Go Wrong: A Study of Typing-Related Bugs in JVM Compilers".

  Language:Python6401

• theosotr/async-tajs

  Static Analysis for Asynchronous JavaScript Programs.

  Language:Java6212

• AUEB-BALab/search-engine-affinity

  Source Code for the Search Engine Similarity Analysis published in WISE 2020

  Language:Jupyter Notebook2501