Please also check python-static-type-check...@googlegroups.com.
On Nov 18, 2014 3:06 AM, "Stefan Bucur" wrote:
> Thanks for the pointer! There seem indeed to be more formal analysis tools
> for JavaScript than for Python (e.g., the most recent one for JS I know of
> is the Jalangi framework [1]).
Thanks for the pointer! There seem indeed to be more formal analysis tools
for JavaScript than for Python (e.g., the most recent one for JS I know of
is the Jalangi framework [1]). I assume the main reason is that JavaScript
is standardized and somewhat simpler, so it's easier to construct formal
s
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) b
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 and
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.
http://cs.au.dk/~amoe
On Mon Nov 17 2014 at 12:06:15 PM Stefan Bucur
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 moderation when someone i
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 but
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 wrote:
> Hi,
>
> I think this might be a bit off-topic for this mailing
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, Stefa
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 p
10 matches
Mail list logo
