uniba-swt/DSIbin-inst

This repository has been archived on 01/Feb/2022
Stars
7
Rank 2,294,772 (Top 46 %)
Language
C++
License
GNU Lesser Genera...
Created about 7 years ago
Updated about 7 years ago

uniba-swt/DSIbin-inst

uniba-swt

There are no reviews yet. Be the first to send feedback to the community and the maintainers!

A binary instrumentation Pin tool used for DSIbin

libbidib

A library for communication with a BiDiB (www.bidib.org) system using a serial connection.

DSIbin

Contains the front-end component DSIbin, its DSIcore algorithm implementation, and the DSIref type-refinement component

swtbahn-cli

A client-server command line interface for the SWTbahn.

ia-toolset

Toolset for IAM interface theory with textual language, code editor, simulator and debugger

LetSynchronise

Framework for modelling, simulating, analysing, and optimising LET-based systems

ShaPE

ShaPE, a Shape Predicate Extractor.

MGI

MGI, a Memory Graph Investigator.

swtbahn-lantern

C program for the servo point lanterns on an SWTbahn platform.