Определение входных параметров блока кода

С помощью BeaEngine сделал статический анализ блоков кода. Получилось следующее ( пример — одна из функций FunctionsTest.exe ):

Продолжение чтения »