Closed Bug 92906 Opened 23 years ago Closed 8 years ago

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

Categories

(Core Graveyard :: Tracking, enhancement)

Product:
Core Graveyard
Component:
Tracking
Type:
enhancement
Priority:
Not set
Severity:
normal

Tracking

(Not tracked)

Status:
RESOLVED INCOMPLETE

People

(Reporter: wolruf, Assigned: scc)

References

(
URL
)

Details

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.
Marking NEW.
Severity: normal → enhancement
Status: UNCONFIRMED → NEW
Ever confirmed: true
Hardware: PC → All
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
URL: http://www.stanford.edu/~engler/mc-os... → http://hands.stanford.edu/
Component: Browser-General → Tracking
QA Contact: doronr → chofmann
Summary: [RFE] Stanford tools to check Mozilla's source code → Stanford tools to check Mozilla's source code
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]
switched Stanford URL http://metacomp.stanford.edu/ with
http://www.reasoning.com/ as the site is alive again.
URL: http://hands.stanford.edu/ → http://www.reasoning.com/
Summary: Stanford tools to check Mozilla's source code → Reasoning (Stanford) tools to check Mozilla's source code
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
Closed: 8 years ago
Resolution: --- → INCOMPLETE
Product: Core → Core Graveyard
You need to log in before you can comment on or make changes to this bug.