کشف کارآمد آسیب پذیری برنامه های زبان سی به وسیله اجرای نمادین SUPERVISOR Maryam Mouzarani مریم موزرانی (استاد راهنما) STUDENT Sara Baradaran سارا برادران قهفرخی FACULTY - DEPARTMENT دانشکده مهندسی برق و کامپیوتر DEGREE Bachelor of Science (B.Sc) YEAR 1396 TITLE کشف کارآمد آسیب پذیری برنامه های زبان سی به وسیله اجرای نمادین