Software Reliability Lab

sr-lab

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

Group of researchers interested in formal methods and verification techniques for software reliability

Spread across the globe

https://sr-lab.github.io

Software Reliability Lab's repositories

coqpyt

Python client for coq-lsp

Language:PythonMIT34 3 16

GLITCH

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

Language:PythonGPL-3.021 3 43

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

EcoAndroid

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

Language:JavaApache-2.04 4 1

pin-bank

Numeric PINs counted and sorted by frequency as they occur in the RockYou dataset.

MIT4 3 1

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

DafnyBench

DafnyBench: A Benchmark for Formal Software Verification

Apache-2.0100

jump-mapper

Approximating PIN guess numbers using keypad patterns.

Language:C#1 30

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

coq-tries

Generic tries in Coq.

Language:CoqMIT030

analytic-password-cracking-box

Box to run the analytic password cracking utility.

Language:ShellUnlicense020

coq-number-rendering

Coq number rendering library.

Language:CoqMIT040

count-expander

A program for re-hydrating password dumps that contain counts.

Language:C#040

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