Repositories list

• rvsec

  Public
  runtime-verification

  Java

  •2•1•0•0•Updated Nov 27, 2024Nov 27, 2024

• PyMiner

  Public
  This is a tool to mining and extract metrics from Python open source projects from github for an empirical research.

  Python

  •

  MIT License

  •0•0•0•0•Updated Nov 26, 2024Nov 26, 2024

• dogefuzz

  Public
  Flexible fuzzer for detecting Ethreum Smart Contract vulnerabilities

  ethereumsmart-contractsblockchain+ 1fuzzing

  Go

  •

  MIT License

  •3•2•0•0•Updated Nov 25, 2024Nov 25, 2024

• JSVFA

  Public
  Scala

  •2•0•0•0•Updated Nov 21, 2024Nov 21, 2024

• flowdroid-taint-analysis

  Public
  A fork of the securiBench FlowDroid module

  Java

  •2•0•0•0•Updated Nov 15, 2024Nov 15, 2024

• joanaTaintAnalysis

  Public
  Java

  •3•0•0•1•Updated Nov 15, 2024Nov 15, 2024

• securibench-micro

  Public
  Securibench Micro is a benchmark for static analysis tools for security.

  HTML

  •

  Apache License 2.0

  •23•0•0•0•Updated Nov 15, 2024Nov 15, 2024

• dogefuzz-benchmark

  Public
  Solidity

  •

  MIT License

  •1•1•0•0•Updated Nov 14, 2024Nov 14, 2024

• securibench-micro-jakarta

  Public
  Securibench Micro is a benchmark for static analysis tools for security.

  HTML

  •

  Apache License 2.0

  •23•0•0•0•Updated Oct 9, 2024Oct 9, 2024

• svfa-scala

  Public
  An implementation of sparse-value flow analysis on top of soot (using Scala)

  Java

  •13•1•0•1•Updated Oct 2, 2024Oct 2, 2024

• JSMiner

  Public
  javascriptantrl4

  Java

  •1•0•0•0•Updated Aug 20, 2024Aug 20, 2024

• dogefuzz_sbseg_artifact

  Public
  Artifact repository for "DogeFuzz: A Simple Yet Efficient Grey-box Fuzzer for Ethereum Smart Contracts"

  Solidity

  •

  Creative Commons Attribution 4.0 International

  •0•1•0•0•Updated Aug 9, 2024Aug 9, 2024

• dogefuzz-results

  Public
  Python

  •1•0•0•0•Updated Apr 17, 2024Apr 17, 2024

• dogefuzz-vandal-api

  Public
  Python

  •1•0•0•0•Updated Mar 26, 2024Mar 26, 2024

• mining-email-lists

  Public
  Java

  •

  MIT License

  •0•0•0•0•Updated Feb 6, 2024Feb 6, 2024

• dogefuzz-inputs

  Public
  Solidity

  •

  MIT License

  •1•0•0•0•Updated Dec 7, 2023Dec 7, 2023

• dogefuzz-enhanced-go-ethereum

  Public
  ethereumsmart-contractsblockchain+ 1fuzzing

  Go

  •

  GNU Lesser General Public License v3.0

  •1•0•0•0•Updated Oct 4, 2023Oct 4, 2023

• pamunb.github.io

  Public
  0•0•0•0•Updated Sep 18, 2023Sep 18, 2023

• WhileLang-Haskell

  Public
  Implementation of static analysis algorithms in Haskell

  Haskell

  •

  Other

  •2•0•0•0•Updated Jun 6, 2023Jun 6, 2023

• RVSec-replication-package

  Public
  Java

  •1•1•0•0•Updated May 29, 2023May 29, 2023

• cppEvolution

  Public
  Jupyter Notebook

  •0•0•0•1•Updated Apr 15, 2023Apr 15, 2023

• rascal-Java8

  Public
  Introducing the support for Java 8 in Rascal

  Java

  •8•5•4•2•Updated Jan 16, 2023Jan 16, 2023

• JUnit5Migration

  Public
  Rascal

  •1•6•3•0•Updated Nov 29, 2022Nov 29, 2022

• CryLogger

  Public
  CRYLOGGER: Detecting Crypto Misuses for Android and Java Apps Dynamically

  Java

  •

  MIT License

  •13•0•0•0•Updated Aug 13, 2022Aug 13, 2022

• MoniTests

  Public
  This project aims to apply JavaMop, a Java implementation of Monitoring-Oriented Programming, to verify usage of cryptographic llibraries

  Java

  •1•0•0•0•Updated Aug 10, 2022Aug 10, 2022

• cryptoguard

  Public
  Java

  •

  GNU General Public License v3.0

  •30•0•0•0•Updated Jul 23, 2022Jul 23, 2022

• rv-monitor

  Public
  RV-Monitor core system code

  Java

  •

  Other

  •13•0•0•0•Updated Jul 6, 2022Jul 6, 2022

• javamop

  Public
  Runtime verification system for Java, using AspectJ for instrumentation.

  Java

  •

  Other

  •37•0•0•0•Updated Jul 6, 2022Jul 6, 2022

• mop-maven-plugin

  Public
  Java

  •0•0•0•0•Updated Jul 4, 2022Jul 4, 2022

• mop-parent

  Public
  0•0•0•0•Updated Jul 4, 2022Jul 4, 2022