kiniry/NemIDJavaReverser
Disassembles the Danish NemID using Krakatau, decrypts strings and renames methods and classes, before assembling it all again.
Developer Profile
kiniry
Discovered public repositories for kiniry in the GitHub catalog.
kiniry/OpenNemID
Public repository.
kiniry/VocabularyBuilder
Public repository.
kiniry/walking-with-dinosaurs
Public repository.
kiniry/jkin
Public repository.
kiniry/KindSoftware
The website of the KindSoftware research group.
kiniry/research
General repository for research artifacts.
kiniry/Contracts-in-OpenBSD
Experimentation with software contracts in OpenBSD.
kiniry/UCD
Archive of past teaching resources from University College Dublin.
kiniry/Mobius
Public repository.
kiniry/SenseTile
Public repository.
kiniry/Simplify
Simplify is a automated solver for unsorted first-order logic over the AUFLIA theory.
kiniry/SATConfig
SATConfig is a tool for performing configurations of given in a Conjunctive Normal Form using a SAT solver.
kiniry/Rexastor
Rexastor is a tool for automatic generation of Extended Abstract Syntax Trees (XASTs) in Java. Unlike many other code generators, Rexastor preserves type safety and code reuse across similar AST.
kiniry/RCC
RCC: Race Condition Checker for Java
kiniry/Propi
Propi is a prototype tool for working with semantic properties, written in Java.
kiniry/KindFTP
KindFTP is meant to be a complete implementation of the FTP protocol, as specified in RFC959.
kiniry/GNUEiffel
SmallEiffel and SmartEiffel Ports to AmigaDE/Elate
kiniry/JavaFE
This is the Java frontend which parses Java 1.5 bytecode and Java 1.4 source code. It is used as the compiler foundation of several tools including ESC/Java2 and RCC.
kiniry/FreeBoogie
FreeBoogie is a Java implementation of the "World's Best Program Verification System."
kiniry/ESCJava2
The Extended Static Checker for Java version 2 (ESC/Java2) is a programming tool that attempts to find common run-time errors in JML-annotated Java programs by static analysis of the program code and its formal annotations.
kiniry/objective-c
Repository for DTU course "Programming in Objective-C".