time,
> providing benefits from strongly type language without the rigidity.
>
> http://cs.au.dk/~amoeller/papers/tajs/
>
> Good luck!
>
> Francis
>
> 2014-11-17 9:49 GMT-05:00 Stefan Bucur :
>
>> I'm developing a Python static analysis tool that flags common
&g
s 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, Stefan B
Check for None object dereferences
Thanks a lot,
Stefan Bucur
[1] http://clang-analyzer.llvm.org/available_checks.html
___
Python-Dev mailing list
Python-Dev@python.org
https://mail.python.org/mailman/listinfo/python-dev
Unsubscribe:
https://mail.pyth
On Sun, Mar 24, 2013 at 2:09 AM, Devin Jeanpierre wrote:
> On Sat, Mar 23, 2013 at 11:21 AM, Nick Coghlan wrote:
> > In this specific case, the error message is
> > confusing-but-not-really-wrong, due to the "two-types-in-one" nature
> > of Python 2.x strings - 8-bit strings are used as both text
Hi,
I'm not sure this is the right place to ask this question, but I thought
I'd give it a shot since it also concerns the Python standard library.
I'm writing an automated test case generation tool for Python programs that
explores all possible execution paths through a program. When applying th
On Sat, Mar 2, 2013 at 4:31 PM, Antoine Pitrou wrote:
> On Fri, 1 Mar 2013 16:24:42 +0100
> Stefan Bucur wrote:
>>
>> However, after applying this modification, when running "make test" I get a
>> segfault in the test___all__ test case.
>>
>> Before
On Sat, Mar 2, 2013 at 4:08 PM, Nick Coghlan wrote:
> On Sat, Mar 2, 2013 at 1:24 AM, Stefan Bucur wrote:
>> Hi,
>>
>> I'm working on an automated bug finding tool that I'm trying to apply on the
>> Python interpreter code (version 2.7.3). Because of early
s, or some refcount bug in the interpreter
that manifests only when certain strings are no longer interned and thus
have a higher chance to get low refcount values.
Thanks a lot,
Stefan Bucur
___
Python-Dev mailing list
Python-Dev@python.org
http://mail.python.o
