Pinned Repositories
anantoni.github.io
Code that'll help you kickstart a personal website that showcases your work as a software developer.
How-to-Make-a-Computer-Operating-System
How to Make a Computer Operating System in C++
iris-example
IRIS Reasoner - Program Analysis Sample
IRIS-Spiglet-Optimizer
micro-doop
micro-doop analysis
SparrowClient
doop
The official repo of Doop, the declarative pointer analysis framework.
soot
Soot - A Java optimization framework
souffle
Soufflé is a variant of Datalog for tool designers crafting analyses in Horn clauses. Soufflé synthesizes a native parallel C++ program from a logic specification.
WALA
T.J. Watson Libraries for Analysis, with frontends for Java, Android, and JavaScript, and may common static program analyses
anantoni's Repositories
anantoni/iris-example
IRIS Reasoner - Program Analysis Sample
anantoni/IRIS-Spiglet-Optimizer
anantoni/SparrowClient
anantoni/SparrowScheduler
anantoni/anantoni.github.io
Code that'll help you kickstart a personal website that showcases your work as a software developer.
anantoni/advancedTest
advanced test for doop printer
anantoni/datomic-micro-doop
Datomic pointer analysis - new schema
anantoni/document-segmentation
anantoni/doop-tools
anantoni/dot-bashrc
my .bashrc repo
anantoni/dot-emacs
My emacs configuration.
anantoni/dot-zshrc
anantoni/fstab
anantoni/genshin-stats
Repository that shows my genshin stats, automatically claims hoyolab exp, daily rewards and redeems codes from https://borderpolar.com/game-guides/genshin-impact/genshin-impact-codes/.
anantoni/iris-static-analysis
anantoni/java-agent-asm-javassist-sample
Sample maven project containing a Java agent and examples of bytecode manipulation with ASM and Javassist
anantoni/javac-plugin-model
anantoni/Jimple-Interpreter
Soot based Jimple interpreter
anantoni/lame-test-project
anantoni/logica-static-analysis
anantoni/logstash-demo
Elastic Stack demo for custom log message logging
anantoni/missing-scripts
Some missing auto-completion scripts for Ubuntu
anantoni/mvn-fresh-direct
anantoni/on-makefiles
anantoni/online-grocery-store
Spring framework tests
anantoni/paper-reviews
anantoni/parallel-convolution
Image Convolution
anantoni/pyParrotZik
Python Parrot Zik API and tools
anantoni/resume
my CV
anantoni/scaler
Scalability-First Pointer Analysis with Self-Tuning Context-Sensitivity