Software Reliability Lab

sr-lab

Organization data from Github https://github.com/sr-lab

The Software Reliability Lab develops new methods and techniques for improving the quality and dependability of software systems.

Spread across the globe

https://sr-lab.github.io

Software Reliability Lab's repositories

coqpyt

Python client for coq-lsp

Language:PythonMIT40 4 19

GLITCH

GLITCH is a technology-agnostic framework that enables automated detection of code smells in Infrastructure-as-Code scripts.

Language:PythonGPL-3.025 3 43

EcoAndroid

EcoAndroid is an Android Studio plugin that suggests automated refactorings for reducing energy consumption of Java android applications.

Language:JavaApache-2.05 3 1

hoogle_plus

Type-driven, component based synthesis, showcasing TYpe Guided Abstract Refinement (TYGAR)

Language:HaskellMIT5 10

iris-jellyfish

Extension of atomic triples in Iris with atomic postconditions and formal verification of the Lazy JellyFish skip list

Language:CoqGPL-3.05 40

GLITCH-ASE22-Replication-Package

Replication Package for the paper "GLITCH: Automated Polyglot Security Smell Detection in Infrastructure as Code"

GPL-3.02 30

gspider

Guess success probability slider, for plotting the evolution of password guessing attacks.

Language:IdrisMIT2 30

contracts-android

Contract usage in Android Java and Kotlin applications

Language:JavaApache-2.0100

DafnyBench

DafnyBench: A Benchmark for Formal Software Verification

Apache-2.0100

pyrrho

Automated password composition policy selection.

Language:PythonMIT1 20

qsharp-fuzz

Language:Q#1 30

skeptic-authority-template

A basic template for a Skeptic authority.

Language:CoqMIT1 3 3

skeptic-lang

A DSL for asserting password composition policy effectiveness.

Language:IdrisMIT1 20

.github

000

analytic-password-cracking-box

Box to run the analytic password cracking utility.

Language:ShellUnlicense020

anvil

Anvil is an experimental framework to build practical, formally verified, cluster management controllers.

Language:RustNOASSERTION000

coq-modeling

Language models for Coq based on data collected from the coq lsp.

Language:Jupyter NotebookMIT000

coq-number-rendering

Coq number rendering library.

Language:CoqMIT040

DifFuzzAR

Automatic Repair of Java Code with Timing Side-Channel Vulnerabilities

Language:JavaBSD-3-Clause02 2

Efficient-Lock-Free-Durable-Sets

Code for "Yoav Zuriel, Michal Friedman, Gali Sheffi, Nachshon Cohen, and Erez Petrank. Efficient Lock-Free Durable Sets, OOPSLA 2019" (https://dl.acm.org/doi/10.1145/3360554)

Language:C++MIT020

glitch-python-hcl2

Language:PythonMIT010

nbvcxz

Password strength estimator

Language:JavaMIT040

pol-infer

Inferring password composition policies from breached user credential databases.

Language:PythonMIT030

polaris

Language:CoqNOASSERTION010

pws_repo

Language:Python020

quantum-hoare-logic

Language:CoqApache-2.004 1

smartbugs

SmartBugs: A Framework to Analyze Solidity Smart Contracts

Language:SolidityApache-2.0010

XBoard

在线白板 Online whiteboard

Language:JavaScriptMIT020

zxcvbn

Low-Budget Password Strength Estimation

Language:CoffeeScriptMIT040

zxcvbn-plus

Low-Budget Password Strength Estimation

Language:CoffeeScriptMIT040