Savvollar Ma'lumotlar oqimini tahlil qilish Nazorat-oqim tahlili Ramziy ijro (Symbolic Execution) Baxolash quyidagicha taqsimlanadi:
Rasmda raqamlar kiriting: