Webpages tagged with «static analysis»

Refactoring of Quantum Computing Programs

Published Oct. 15, 2024 11:57 AM

PHPWander: A Static Vulnerability Analysis Tool for PHP

Published May 29, 2018 7:35 AM

Detection of Bugs and Code Smells through Static Analaysis of Source Code

Published Sep. 22, 2016 2:13 PM

Verification Tool for Concurrent Software

Published Sep. 22, 2014 4:14 PM

Automated Composition of Refactorings

Published Apr. 29, 2014 4:24 PM

Implementing and evaluating a search-based Extract and Move Method refactoring

This web page contains some resources related to this master's thesis. One of the resources is the git repository containing everything related to the thesis, including the software written. On this page, you can also find downloads of some plugins developed as part of the master's project, installation instructions and how to use them.