| .. |
|
e1.cpp
|
|
|
|
e2.cpp
|
|
|
|
e4.cpp
|
|
|
|
e5.cpp
|
|
|
|
e6.cpp
|
|
|
|
e7.cpp
|
|
|
|
e8.cpp
|
|
|
|
e9.cpp
|
|
|
|
e10.cpp
|
|
|
|
e11.cpp
|
|
|
|
e12.cpp
|
|
|
|
e13.cpp
|
|
|
|
flow_through_fail.cpp
|
bug 432917: MUST_FLOW_THROUGH static check. r=bsmedberg
|
2008-09-08 11:01:22 -07:00 |
|
flow_through_pass.cpp
|
bug 432917: MUST_FLOW_THROUGH static check. r=bsmedberg
|
2008-09-08 11:01:22 -07:00 |
|
Makefile.in
|
Bug 512726 - Add NS_MUST_OVERRIDE static annotation. r=bsmedberg
|
2009-09-18 10:26:13 -07:00 |
|
o1.cpp
|
|
|
|
o2.cpp
|
|
|
|
o3.cpp
|
Resolve the static-analysis bustage from bug 498938 by recognizing COND_EXPR.
|
2009-07-27 10:47:22 -04:00 |
|
o4.cpp
|
|
|
|
o5.cpp
|
|
|
|
o6.cpp
|
|
|
|
o7.cpp
|
|
|
|
o8.cpp
|
|
|
|
o9.cpp
|
|
|
|
o10.cpp
|
|
|
|
o11.cpp
|
|
|
|
o12.cpp
|
|
|
|
o13.cpp
|
|
|
|
o14.cpp
|
|
|
|
o15.cpp
|
|
|
|
o16.cpp
|
|
|
|
onull2.cpp
|
|
|
|
onull.cpp
|
|
|
|
opmember.cpp
|
Static analysis test cases for bug 479441
|
2009-02-24 10:11:06 -05:00 |
|
override-global.cpp
|
Bug 500870 - NS_OVERRIDE indicates that a method must override a base-class method, r=taras
|
2009-09-04 11:21:31 -04:00 |
|
override-pass.cpp
|
Fix the static analysis error: m.isVirtual is a tri-state undefined, true, or "pure", and I didn't take that into account when writing the original NS_OVERRIDE analysis.
|
2009-10-04 14:35:33 -04:00 |
|
override-signature.cpp
|
Bug 500870 - NS_OVERRIDE indicates that a method must override a base-class method, r=taras
|
2009-09-04 11:21:31 -04:00 |
|
override-static.cpp
|
Bug 500870 - NS_OVERRIDE indicates that a method must override a base-class method, r=taras
|
2009-09-04 11:21:31 -04:00 |
|
override-virtual.cpp
|
Bug 500870 - NS_OVERRIDE indicates that a method must override a base-class method, r=taras
|
2009-09-04 11:21:31 -04:00 |
|
OverrideFail1.cpp
|
Bug 512726 - Add NS_MUST_OVERRIDE static annotation. r=bsmedberg
|
2009-09-18 10:26:13 -07:00 |
|
OverrideFail2.cpp
|
Bug 512726 - Add NS_MUST_OVERRIDE static annotation. r=bsmedberg
|
2009-09-18 10:26:13 -07:00 |
|
OverrideFail3.cpp
|
Bug 512726 - Add NS_MUST_OVERRIDE static annotation. r=bsmedberg
|
2009-09-18 10:26:13 -07:00 |
|
OverrideFail4.cpp
|
Bug 512726 - Add NS_MUST_OVERRIDE static annotation. r=bsmedberg
|
2009-09-18 10:26:13 -07:00 |
|
OverrideOK1.cpp
|
Bug 512726 - Add NS_MUST_OVERRIDE static annotation. r=bsmedberg
|
2009-09-18 10:26:13 -07:00 |
|
OverrideOK2.cpp
|
Bug 512726 - Add NS_MUST_OVERRIDE static annotation. r=bsmedberg
|
2009-09-18 10:26:13 -07:00 |
|
StackAggrInit.cpp
|
When operator new is used on a class with no constructor it generates an AGGR_INIT_EXPR, not a CALL_EXPR... with testcase. NPODB, static-checking only.
|
2008-12-03 11:49:54 -05:00 |
|
StackCond.cpp
|
Resolve the static-analysis bustage from bug 498938 by recognizing COND_EXPR.
|
2009-07-27 10:47:22 -04:00 |
|
StackCondBad.cpp
|
Resolve the static-analysis bustage from bug 498938 by recognizing COND_EXPR.
|
2009-07-27 10:47:22 -04:00 |
|
StackConditional.cpp
|
|
|
|
StackNoConstructor.cpp
|
|
|
|
StackPlacementNewOK.cpp
|
|
|
|
StackVector.cpp
|
|
|
|
TestFinal.cpp
|
|
|
|
TestFinalTemplate.cpp
|
|
|
|
TestStack.cpp
|
|
|
|
TestStackTemplate.cpp
|
|
|
