Re: [HACKERS] Static code checker research worth investigating (Communications of the ACM, 03/2016, Vol. 59, No. 03, p. 99)

2016-03-06 Thread Tomas Vondra
Hi, On Sat, 2016-03-05 at 06:24 -0600, Tom Browder wrote: > Interesting article in latest issue of subject titled: > > "A Differential Approach to Undefined Behavior Detection" > > which may describe procedures not used in other static analysis programs. > > Article references the authors' we

[perl #127665] [BUG] attribute accessors made by generate_accessor are not marked "rw"

2016-03-06 Thread via RT
# New Ticket Created by Jonathan Stowe # Please include the string: [perl #127665] # in the subject line of all future correspondence about this issue. # https://rt.perl.org/Ticket/Display.html?id=127665 > The accessor methods that are generated for rw attributes function correctly but are n

Re: Static code checker research worth investigating (Communications of the ACM, 03/2016, Vol. 59, No. 03, p. 99)

2016-03-06 Thread Greg Stark
On Sat, Mar 5, 2016 at 12:41 PM, Tomas Vondra wrote: > And it was dealt with Well. Not dealt with yet. I think it's more or less clear how to tackle it using macros and builtins now but there's a lot of drudgery work to actually rewrite all the checks. I have the reports from Xi Wang's tool saved

Re: panda seems to need nmake

2016-03-06 Thread Timo Paulssen
On 06/03/16 15:31, Theo van den Heuvel wrote: Hi all, I am running Rakudo 2016-1 on Windows7 (64b) I tried "panda install Linenoise" and get the following result: [snip] From this I deduce that panda wants me to have nmake.exe available. Microsoft seems to have chosen to offer it only to t

panda seems to need nmake

2016-03-06 Thread Theo van den Heuvel
Hi all, I am running Rakudo 2016-1 on Windows7 (64b) I tried "panda install Linenoise" and get the following result: === ==> Linenoise depends on Native::Resources ==> Native::Resources depends on LibraryMake ==> Fetching LibraryMake ==> Building LibraryMake ==> Testing LibraryMake 'nmake' is