PyInstaller works by reading your Python program, analyzing all its imports ... has write permissions in order to run. A .spec file is used to create an executable with PyInstaller.

Python’s builders have accepted a proposal to create a universal lock file format for Python projects ... platforms including Java and .NET and programming languages including JavaScript ...