byte code analyzer: analizator kodu bajtowego

Program służący do analizy skompilowanego kodu programów w celu wykrycia w nich znanych błędów. Narzędzia te potrafią wykryć tylko takie błędy, które zostały zdefiniowane w ich bazach, ale ich zaletą jest to, że znajdują wiele często popełnianych, a trudnych do wykrycia błędów.