Annuaire des initiatives
Pertinence
Vous ne trouvez pas l'initiative qui correspond à votre besoin ? Notre assistant peut vous aider.
- Notoriété 16 %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.
- 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.
- BISM Experiments est un dépôt contenant des expériences menées pour évaluer les performances de BISM, un framework léger d'instrumentation de programmes Java écrit en Java. Le framework suit une approche de programmation orientée aspect et fournit une riche API pour faciliter l'instrumentation, y compris les points de jonction, le contexte dynamique et statique, et les méthodes d'instrumentation.
- Le projet Residual Runtime Verification with BISM est une implémentation en tant que plugin pour l'outil d'instrumentation Java BISM. Il permet la vérification de propriétés à l'exécution en instrumentant le code pour capturer des événements de programme spécifiques et détecter les exécutions non conformes.
- Notoriété 7 %Ce framework propose une approche de haut niveau pour l'instrumentation et l'exécution d'un programme, dans le but de collecter des informations dynamiques. Il est capable d'instrumenter à la fois le code source et le byte-code avec des frameworks existants, propose un ensemble de traceurs utilisés pour collecter des traces d'exécution, et fonctionne au niveau du modèle avec EMF et le projet Mondo Hawk.
- Ivmi-builder est un framework open source qui facilite la conception d'instruments de musique virtuels immersifs en utilisant le moteur de jeu Godot et le langage de programmation audio PureData. Il permet de créer des scènes interactives en réalité virtuelle et de les personnaliser en fonction des besoins de chaque projet.
10 initiatives
10