I'm developing a Python static analysis tool that flags common programming
errors in Python programs. The tool is meant to complement other tools like
Pylint (which perform checks at lexical and syntactic level) by going
deeper with the code analysis and keeping track of the possible control
flow
Hi,
I think this might be a bit off-topic for this mailing list,
code-qual...@python.org is the place for discussing static analysis tools.
Although if anyone does have any comments on any particular checks
they would like, I would be interested as well.
Cheers,
Mark.
On 17/11/14 14:49,
Mark, thank you for the pointer! I will re-send my message there. Should I
include both mailing lists in a single thread if I end up receiving replies
from both?
Cheers,
Stefan
On Mon Nov 17 2014 at 4:04:45 PM Mark Shannon m...@hotpy.org wrote:
Hi,
I think this might be a bit off-topic for
Also, I should mention mypy (mypy-lang.org), which is a much more ambitious
project that uses type annotations. I am trying to find time to work on a
PEP that standardizes type annotations to match mypy's syntax (with
probably some improvements and caveats). It's too early to post the PEP
draft
On Mon Nov 17 2014 at 12:06:15 PM Stefan Bucur stefan.bu...@gmail.com
wrote:
Mark, thank you for the pointer! I will re-send my message there. Should I
include both mailing lists in a single thread if I end up receiving replies
from both?
No as cross-posting becomes just a nightmare of
On 15 November 2014 15:40, Paul Moore p.f.mo...@gmail.com wrote:
On 15 November 2014 15:17, Benjamin Peterson benja...@python.org wrote:
On Sat, Nov 15, 2014, at 05:54, Nathaniel Smith wrote:
On 15 Nov 2014 10:10, Paul Moore p.f.mo...@gmail.com wrote:
Incidentally, it would be really
In article
cacac1f9wepiw49i5ham-hezdwmypdmym6dfnrf93zxewj3f...@mail.gmail.com,
Paul Moore p.f.mo...@gmail.com wrote:
I don't know if this got lost in the other messages in this thread,
but *is* there a stable URL for the latest Python 3.4 MSI for Windows
amd64 (or similar)?
AFAIK, no, there
If I may, there are prior work on JavaScript that may be worth
investigating. Formal verification of dynamically typed software is a
challenging endeavour, but it is very valuable to avoid errors at runtime,
providing benefits from strongly type language without the rigidity.
On 17 November 2014 19:23, Ned Deily n...@acm.org wrote:
Paul Moore p.f.mo...@gmail.com wrote:
I don't know if this got lost in the other messages in this thread,
but *is* there a stable URL for the latest Python 3.4 MSI for Windows
amd64 (or similar)?
AFAIK, no, there is no such stable URL
Hi,
The PEP-418 is about performance counters, but there is no mention of
performance management unit (PMU) counters, such as cache misses and
instruction counts.
The Linux perf tool aims at recording these samples at the system level. I
ran linux perf on CPython for profiling. The resulting
On 11/17/2014 9:49 AM, Stefan Bucur wrote:
I'm developing a Python static analysis tool that flags common
programming errors in Python programs. The tool is meant to complement
other tools like Pylint (which perform checks at lexical and syntactic
level) by going deeper with the code analysis
On 2014-11-18 01:21, Terry Reedy wrote:
On 11/17/2014 9:49 AM, Stefan Bucur wrote:
I'm developing a Python static analysis tool that flags common
programming errors in Python programs. The tool is meant to complement
other tools like Pylint (which perform checks at lexical and syntactic
level)
12 matches
Mail list logo