When the time came to publish the project on a project-homepage we found out that the name domain psat.com was already taken by someone who had foreseen our tool. So we expanded the first part of the name to PHP. This domain was not taken and confusion about which programming language with a P this tool statically analysis was taken away.
But we could have told you that the name PHP-Sat stands for any of the following:
If you can think of another explanation of this acronym please let us know.