shenleiandClaude Opus 5
5fad769ee8
The embedded 40250 script layer needs its own interpreter on five platforms. 2.7 is end-of-life, so nothing can be fetched from the target SDKs and the source is vendored (official 2.7.18 tarball, trimmed to 25MB; Lib/ stays for step 3's python27.zip). cpython-2.7.18/CMakeLists.txt builds one `mtpython` static library from exactly the 133 objects the reference libpython2.7.a contains, off by default behind -DMTGODOT_EMBED_PYTHON=ON. The source list and the built-in module table (config/config.c, 39 entries) are shared; pyconfig.h is a probe result and is not, so each platform keeps its own under config/<platform>/, regenerated by tools/py_embed/gen_pyconfig.sh and checked against the shared table. Three vendor patches, documented in docs/THIRD-PARTY.md: configure/configure.ac learn arm64 on macOS, and posixmodule.c undefines the process-control calls it hard-defines past pyconfig.h when building for iOS. macOS (ctest python.embed: every builtin imports, codecs and pickle work off the vendored Lib/), Android arm64 and iOS arm64 build. Linux needs a Linux host and Windows needs a MinGW-vs-MSVC decision; both are noted for step 4. Co-Authored-By: Claude Opus 5 <noreply@anthropic.com>
23 lines
845 B
Plaintext
23 lines
845 B
Plaintext
|
|
Coverity has a static analysis tool (Prevent) which is similar to Klocwork.
|
|
They run their tool on the Python source code (SVN head) on a daily basis.
|
|
The results are available at:
|
|
|
|
http://scan.coverity.com/
|
|
|
|
About 20 people have access to the analysis reports. Other
|
|
people can be added by request.
|
|
|
|
Prevent was first run on the Python 2.5 source code in March 2006.
|
|
There were originally about 100 defects reported. Some of these
|
|
were false positives. Over 70 issues were uncovered.
|
|
|
|
Each warning has a unique id and comments that can be made on it.
|
|
When checking in changes due to a warning, the unique id
|
|
as reported by the tool was added to the SVN commit message.
|
|
|
|
False positives were annotated so that the comments can
|
|
be reviewed and reversed if the analysis was incorrect.
|
|
|
|
Contact python-dev@python.org for more information.
|