PICON est une implémentation de la protection d'intégrité du flux de contrôle (CFI) composée de deux parties. La première partie est un programme autonome, picon-monitor, qui surveille l'exécution du programme pour s'assurer de l'intégrité de son flux de contrôle selon son flux de contrôle d'intégrité attendu. La deuxième partie est un passe de compilateur LLVM pour instrumenter un programme à surveiller en injectant des routines de communication et des échanges de messages avec l'externe picon-monitor.

Service public dédié au suivi et à la visualisation des données de gestion des déchets. Il permet à l'administration de surveiller les flux de déchets déclarés via Trackdéchets, facilitant ainsi les missions d'observation, d'inspection et de contrôle. L'objectif est d'améliorer la transparence et la traçabilité des déchets en France.

Heptagon est un langage de programmation synchrone de flux de données avec une syntaxe inspirée de Lustre, permettant l'expression de structures de contrôle telles que des commutateurs ou des automates de mode. Il s'agit également d'un compilateur de recherche, conçu pour faciliter l'expérimentation, doté de fonctionnalités telles que la synthèse de contrôleurs discrets dans le processus de compilation et la manipulation de tableaux avec une optimisation de mémoire modulaire.

BISM est un outil de génie logiciel permettant l'instrumentation de programmes Java à l'aide d'un langage de transformation haut niveau. Il génère des graphiques de flux de contrôle pour tous les méthodes et fournit des propriétés de flux de contrôle telles que la capture de branches de sauts conditionnels et la récupération de blocs de base successeurs et prédécesseurs. Il permet également la composition de plusieurs transformateurs et la détection automatique de leurs collisions dans le programme de base.

Le projet ICSA2017Tutorial est un outil de modélisation et de simulation de systèmes à états finis. Il permet de définir des états, des transitions et des actions, ainsi que de spécifier des conditions de garde pour contrôler le flux de contrôle. Les scénarios d'exécution peuvent être simulés et validés par rapport à des comportements attendus, offrant un support précieux pour la vérification et la validation de systèmes réactifs.

Outil permettant d'afficher côte à côte deux flux de données image, l'un provenant de Géoportail et l'autre de Géoplateforme, afin de vérifier manuellement leur intégrité et leur cohérence.

Ce projet est un dépôt de code source qui permet de créer des archives tarball des différentes versions d'Apron, une bibliothèque de calcul pour l'analyse de flux de liquides et de gaz. Il permet de gérer et de contrôler les versions d'Apron sans nécessiter que les utilisateurs finaux aient recours à svn.

Le projet mpc-allocator est dédié à la gestion de l'allocation de mémoire et à la manipulation du flux de contrôle dans les programmes. Il offre des fonctionnalités telles que l'entrée et la sortie de sections critiques, la gestion de sauts et la création de trampolines, ainsi que la suspension et la reprise de threads. Ces fonctionnalités permettent d'optimiser les performances et la sécurité des applications.

Ce projet gère le contrôle des drones Intel Aero grâce à la gestion de flux vidéo en temps réel et à la création de paquets Debian.

Implémentation de base et approximative en C++ des canaux de communication CSP, permettant une communication fiable et sécurisée entre processus légers, une synchronisation efficace des données entre threads et un contrôle précis du flux de données entre tâches.