acuarica/phd-thesis

This repository has been archived on 12/Feb/2023
Stars
1
Language
TeX
Created almost 2 years ago
Updated almost 2 years ago

acuarica/phd-thesis

acuarica

There are no reviews yet. Be the first to send feedback to the community and the maintainers!

evm

A Symbolic Ethereum Virtual Machine (EVM) bytecode interpreter, parser and decompiler, along with several other utils for programmatically extracting information from EVM bytecode.

vscode-ethers

Ethers Mode allows you to explore and call Smart Contracts methods using Ethers.js and view the response directly in VS Code. It interacts with any EVM-compatible blockchain, e.g., Ethereum, Polygon, Avalanche, etc.

gtm-web

The Git Time Metric Dashboard is a reporting application to visualize Git Time Metric time data.

java-unsafe-analysis

Java Unsafe Analysis --- Usage and Impact of the Unsafe Java API

jnif

The Java Native Instrumentation Framework, JNIF, is the first native Java bytecode rewriting library. JNIF is a C++ library for decoding, analyzing, editing, and encoding Java bytecode.

4byte

Generates 4bytes selector database

maven-repo

A Dataset and Analysis Framework for the Maven Repository

vscode-lgtm-ql

Visual Studio Code Extension for running QL queries on the lgtm.com platform

usi-shadowheap

mavends

MavenDS: An Analysis Framework for the Maven Repository

java-cast-analysis

Java Cast Analysis in the Wild

toy-payments-engine

Simple toy payments engine that parses CSV and settles client accounts

java-cast-oopsla-19-aec

Java Cast Empirical Study for OOPSLA'19 - Artifact Evaluation

hsc

The Haskell Supercompiler Project aims to bring back supercompilation to Haskell.