Explore projects

An example program, demonstrating how to automatically patch a binary, in order to access "hidden" static data inside a function - that you are not allowed to modify due to legacy reasons.

Python version of Buildsupport (under development, early prototype)

Testing Java Static Analysers (for Ground Segment work...)

Iterator functions in Ada for generating all combinations of values for ASN.1 datatypes.

TASTE speedometer widget - used in the TASTE guis and in the PeekPoke component

kazoo is the replacement tool for buildsupport for future versions of TASTE. It generates code skeletons and concurrency view

Intelligent diff-ing of SPARC binaries for mission patching.

Convert s2k files to binaries (this allows comparisons with binaries generated from objcopy)

TASTE Case Studies for PUS Services

Python API for handling Message Sequence Charts (MSC)