VincenzoArceri

python-virus

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

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

rust-lisa

Rust frontend for LiSA

javascript-malware-collection

Collection of almost 40.000 javascript malware samples

linguaggi

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

AutomotiveSystem

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

Car-Parking-System

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

vincenzoarceri.github.io

Personal website

AutomatedReasoningProject

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

await

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

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

lambda

A simple functional language written using K Framework

lisa

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

oo-analyzer

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