vincenzoarceri Goto Github PK

automatedreasoningproject

Implementation of a simply theorem prover for equality theories using the given clause algorithm (E-version)

automotivesystem

Secondo assegnamento Ingegneria del Software - Anno accademico 2013/2014 - Dipartimento di Informatica - Verona

await

A simple language implements the construct "await Boolean protect Stmt": if the guard is evaluated to true the the statement runs atomically.

bash-virus

A simple bash virus (without payload) for the second assignment of the "Malware analysis and design" course in Master Degree in Computer Science in University of Verona

car-parking-system

Primo elaborato di Ingegneria del Software - Dipartimento d'informatica - Anno accademico 2013/2014

clam

CLAM static analyzer for μDyn

competition

A simple concurrent language written using K Framework

eight-queens-puzzle

go-lisa

Golang frontend for LiSA

grammars-v4

Grammars written for ANTLR v4; expectation that the grammars are free of actions.

gs-algo

Graphstream algo

javascript-malware-collection

Collection of almost 40.000 javascript malware samples

lambda

A simple functional language written using K Framework

linguaggi

Lezioni di laboratorio del corso di Linguaggi presso l'Università di Verona - 2017/2018

lisa

📚 a modular easy to use Library for Static Analysis aiming at multi-language analysis

oo-analyzer

python-virus

Simple polymorphic virus written in Python for the "Malware analysis and Design" Master course in University of Verona

rust-lisa

Rust frontend for LiSA

safe

Scalable Analysis Framework for ECMAScript

tajs

Type Analyzer for JavaScript

thegameoflife

Implementazione in Java dell'automa cellulare "Game of Life", sviluppato nel 1970 da John Conway.

vincenzoarceri

Personal repository

vincenzoarceri.github.io

Personal website