If you think a bug might affect users in the 57 release, please set the correct tracking and status flags for Release Management.

Reasoning (Stanford) tools to check Mozilla's source code

RESOLVED INCOMPLETE

Status

Core Graveyard
Tracking
--
enhancement
RESOLVED INCOMPLETE
16 years ago
a year ago

People

(Reporter: Olivier Cahagne, Assigned: Scott Collins)

Tracking

Firefox Tracking Flags

(Not tracked)

Details

(URL)

(Reporter)

Description

16 years ago
It would be nice, in order to improve code quality, to have the C code (perhaps
some C++) checked by the Stanford tools in the same way they've been checking
the Linux kernel code.
See for example: http://www.xfree86.org/pipermail/xpert/2001-May/008465.html
they are willing to work with XFree86 source code.

These tools' source code not being released, someone would have to motivate the
Stanford team to look at Mozilla's code.

Comment 1

16 years ago
Marking NEW.
Severity: normal → enhancement
Status: UNCONFIRMED → NEW
Ever confirmed: true
Hardware: PC → All

Comment 2

16 years ago
i think this was mentioned in bug 89539.

I wrote To: mc@cs.stanford.edu on 7/6/2001 4:50 AM asking about this. I have 
not received a reply.
      
One of the big problems w/ the meta checker is that they seem to need rules to 
apply and i'm not quite sure what rules we could give them.

Assuming xpidlcstring is still leak able those rules might be simple enough to 
describe.

As of early july the code checker seemed to be C oriented (hands still refers 
to xgcc) so it's unclear how useful the checking would be for mozilla where 
most of the code we'd want them to find leaks in is C++ (and hopefully usually 
nscomptr'd).
Assignee: asa → scc
Component: Browser-General → Tracking
QA Contact: doronr → chofmann

Updated

15 years ago
Summary: [RFE] Stanford tools to check Mozilla's source code → Stanford tools to check Mozilla's source code

Comment 3

14 years ago
FYI:
I think some of the[se] people at Stanford spawned a new code-checking company
called "Reasoning". They've been doing some PR work checking TCP/IP stacks and
Apache and ranking them up against "commercial" software.

They want to do a new project and this time you get to vote:
http://www.reasoning.com/vote.html
Mozilla isn't listed but you can add it.

[however, the entire reasoning site seems to be down today]
(Reporter)

Comment 4

14 years ago
switched Stanford URL http://metacomp.stanford.edu/ with
http://www.reasoning.com/ as the site is alive again.
Summary: Stanford tools to check Mozilla's source code → Reasoning (Stanford) tools to check Mozilla's source code

Comment 5

a year ago
Marking all tracking bugs which haven't been updated since 2014 as INCOMPLETE.
If this bug is still relevant, please reopen it and move it into a bugzilla component related to the work
being tracked. The Core: Tracking component will no longer be used.
Status: NEW → RESOLVED
Last Resolved: a year ago
Resolution: --- → INCOMPLETE
Product: Core → Core Graveyard
You need to log in before you can comment on or make changes to this bug.