Wednesday, November 27, 2024 15:00 MLIT Conference Hall. Online seminar via Webinar Sevak Sargsyan(Russian-Armenian (Slavic) University, Yerevan, Armenia; branch of the ISP RAS, Yerevan, Armenia) Methods for Optimizing Algorithms of Static and Dynamic Analysis (based on the materials of the doctoral dissertation) Abstract: The report is dedicated to the development of methods for optimizing algorithms for static and dynamic analysis to enhance the security and quality of software. The increasing complexity of software systems and the growing number of detected vulnerabilities necessitate the creation of more effective analysis tools. The report describes a developed platform for integrating various analysis methods, enabling the collection and use of artifacts from large volumes of open-source software, as well as implementing a unified approach to method combination. It also presents new methods for detecting code clones and copies of known vulnerabilities, identifying memory leaks and other errors related to the use of dynamic memory, and a variety of fuzzing methods for different analysis scenarios. Examples of numerous errors found in real-world programs using the developed methods will also be demonstrated. Сonnecting to Webinar. Information on the seminar and the link to connect are available at Indico.