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.