/[eiffelstudio]/branches/eth/eve/Src/framework/code_analysis/ca_code_analyzer.e
ViewVC logotype

Log of /branches/eth/eve/Src/framework/code_analysis/ca_code_analyzer.e

Parent Directory Parent Directory | Revision Log Revision Log


Links to HEAD: (view) (annotate)
Sticky Revision:

Revision 98312 - (view) (annotate) - [select for diffs]
Modified Tue Dec 22 13:53:15 2015 UTC (4 years ago) by evemerge
File length: 16986 byte(s)
Diff to previous 96897 , to selected 93546
Partial merge from trunk#98292.
SVN tree conflicts and regular conflicts have been resolved,
but some compilation errors in EVE still exist.


Revision 96897 - (view) (annotate) - [select for diffs]
Modified Mon Mar 23 04:41:13 2015 UTC (4 years, 9 months ago) by schmisam
File length: 17012 byte(s)
Diff to previous 96890 , to selected 93546
Code cleanup.

Revision 96890 - (view) (annotate) - [select for diffs]
Modified Sat Mar 21 05:47:55 2015 UTC (4 years, 10 months ago) by schmisam
File length: 16998 byte(s)
Diff to previous 96593 , to selected 93546
Added rule #9.
Added rule #29.
Added fix for rule #9.
Added fix for rule #29.
Added fix for rule #7.
Fixed bug in CA_ALL_RULES_CHECKER with binary constructs not executing post actions.
Added bin_ne equation to ca_all_rules_checker.
Removed 009_useless_contract from tests.
Added new void-safe test project.
Minor Refactoring.

Revision 96593 - (view) (annotate) - [select for diffs]
Modified Sat Feb 7 05:58:45 2015 UTC (4 years, 11 months ago) by schmisam
File length: 16934 byte(s)
Diff to previous 96586 , to selected 93546
Improved performance of rule #73
Fixed a bug in rule #7
Changed fix for rule #5 to not use pretty printers anymore
Removed pretty printers from the code_analysis library
Refactored rule #75: New name


Revision 96586 - (view) (annotate) - [select for diffs]
Modified Thu Feb 5 11:41:26 2015 UTC (4 years, 11 months ago) by schmisam
File length: 16953 byte(s)
Diff to previous 96147 , to selected 93546
Added exact copy of class FIX_UNUSED_LOCAL_APPLICATION to code_analysis library in order to make it available for use.

Added rule #87.
Added testcase for rule #87.

Fixed nested case in rule #50.
Adjusted testcase for rule #50.
Added fix for rule #50.

Changed implementation of fixes to use the new "execute" method for the general "move instruction within loop"-fix and the fixes for rules #47, #22, #37, #45, #16, #38, #15, #49 and #48.

Some code formatting of rules.


Revision 96147 - (view) (annotate) - [select for diffs]
Modified Sun Nov 23 21:14:32 2014 UTC (5 years, 1 month ago) by schmisam
File length: 16975 byte(s)
Diff to previous 96078 , to selected 93546
Bugfixes for Undo Button for rule-fixing of code analyzer.
Added fixes for rules 50 and 07.
Added basic classes for rules 75 and 77 (WIP).
Added basic classes for fixes for rules 75 and 77 (WIP).
Adjusted test cases for rules 50 and 07.


Revision 96078 - (view) (annotate) - [select for diffs]
Modified Wed Nov 12 04:16:34 2014 UTC (5 years, 2 months ago) by schmisam
File length: 16772 byte(s)
Diff to previous 95855 , to selected 93546
Fixed bug in rule #48.
Changed tag "ca_ignoredby" to simply "ca_ignore".
Added tag "ca_only" to only check the given rule IDs (This will override any rules in tag "ca_ignore").


Revision 95855 - (view) (annotate) - [select for diffs]
Modified Tue Oct 7 03:40:41 2014 UTC (5 years, 3 months ago) by schmisam
File length: 16029 byte(s)
Diff to previous 95832 , to selected 93546
Added rules 50 and 87.
Added fix for rule 50.
Changed implementation of execution of fixes to increase performance in certain cases.
Added testcases for new rules.


Revision 95832 - (view) (annotate) - [select for diffs]
Modified Wed Oct 1 21:50:22 2014 UTC (5 years, 3 months ago) by schmisam
File length: 15912 byte(s)
Diff to previous 95830 , to selected 93546
Reverted base2 dependency on code_analysis/tests
Added tests.ecf file to ignored files (in case somebody wants to add other libraries for testing without commiting)


Revision 95830 - (view) (annotate) - [select for diffs]
Modified Wed Oct 1 18:42:26 2014 UTC (5 years, 3 months ago) by schmisam
File length: 15956 byte(s)
Diff to previous 95757 , to selected 93546
Added rules 7 and 9.
Added tests for rules.


Revision 95757 - (view) (annotate) - [select for diffs]
Modified Fri Sep 12 12:25:28 2014 UTC (5 years, 4 months ago) by schmisam
File length: 15807 byte(s)
Diff to previous 95701 , to selected 93546
Added Unreachable Code rule and rule for invariant loop computation within loop
Reworked object_creation_within_loop_fix to work for several rules
Added tests for the new rules


Revision 95701 - (view) (annotate) - [select for diffs]
Modified Sat Aug 23 01:19:55 2014 UTC (5 years, 4 months ago) by schmisam
File length: 15691 byte(s)
Diff to previous 95468 , to selected 93546
Added Fixes for rules: #48, #49, #15, #38, #16, #19 (included in #3), #68, #37, #47
Added code analysis rule #19 and #48
Added tests for rules #19 and #48
Cleaned up a lot of the older rules
Added Mac OSX 64bit specific files to svn ignore property on several folders


Revision 95468 - (view) (annotate) - [select for diffs]
Modified Sun Jul 20 09:11:06 2014 UTC (5 years, 6 months ago) by schmisam
File length: 15629 byte(s)
Diff to previous 95467 , to selected 93546
Added code analysis rule for comparison of object references.
Added test for the rule.
Some beautification of older rules.



Revision 95467 - (view) (annotate) - [select for diffs]
Modified Sun Jul 20 07:49:56 2014 UTC (5 years, 6 months ago) by schmisam
File length: 15567 byte(s)
Diff to previous 95466 , to selected 93546
Added code analysis rule for Void checking using 'is_equal'
Added test for this rule.



Revision 95466 - (view) (annotate) - [select for diffs]
Modified Sat Jul 19 21:50:46 2014 UTC (5 years, 6 months ago) by schmisam
File length: 15505 byte(s)
Diff to previous 95465 , to selected 93546
Added code analysis rule for empty creation procedures without arguments.
Added test for this rule.



Revision 95465 - (view) (annotate) - [select for diffs]
Modified Sat Jul 19 15:10:12 2014 UTC (5 years, 6 months ago) by schmisam
File length: 15449 byte(s)
Diff to previous 95461 , to selected 93546
Added code analysis rule for creation of objects in loops
Added tests for the rule.



Revision 95461 - (view) (annotate) - [select for diffs]
Modified Fri Jul 18 15:18:45 2014 UTC (5 years, 6 months ago) by schmisam
File length: 15385 byte(s)
Diff to previous 95442 , to selected 93546
Added code analysis rule for not well phrased comments.
Added tests for this rule.



Revision 95442 - (view) (annotate) - [select for diffs]
Modified Thu Jul 17 13:27:51 2014 UTC (5 years, 6 months ago) by schmisam
File length: 15324 byte(s)
Diff to previous 95440 , to selected 93546
Added rule for missing creation procedures with no arguments
Added tests for said rule.



Revision 95440 - (view) (annotate) - [select for diffs]
Modified Thu Jul 17 00:25:44 2014 UTC (5 years, 6 months ago) by schmisam
File length: 15253 byte(s)
Diff to previous 95429 , to selected 93546
Added code analysis rule for empty loops.
Added tests for empty loops.


Revision 95429 - (view) (annotate) - [select for diffs]
Modified Wed Jul 16 12:44:38 2014 UTC (5 years, 6 months ago) by schmisam
File length: 15206 byte(s)
Diff to previous 95408 , to selected 93546
Added code analysis rule for double negation.
Added tests for double negation.
Renamed test folder for inherit from any rule to represent rule ID correctly.


Revision 95408 - (view) (annotate) - [select for diffs]
Modified Sun Jul 13 13:19:40 2014 UTC (5 years, 6 months ago) by apaolo
File length: 15154 byte(s)
Diff to previous 95402 , to selected 93546
The last commit did not compile, most likely due to being based on an outdated working copy. Fixed.

Revision 95402 - (view) (annotate) - [select for diffs]
Modified Fri Jul 11 18:34:35 2014 UTC (5 years, 6 months ago) by schmisam
File length: 15162 byte(s)
Diff to previous 95331 , to selected 93546
Added code analysis rule for undesirable comment content.
Added code analysis rule for unnecessary inheritance from ANY (work in progress).
Added tests for the new rules.


Revision 95331 - (view) (annotate) - [select for diffs]
Modified Fri Jun 27 08:57:34 2014 UTC (5 years, 6 months ago) by jasonw
File length: 15007 byte(s)
Diff to previous 95252 , to selected 93546
<<Merged from trunk#95330.>>

Revision 95252 - (view) (annotate) - [select for diffs]
Modified Fri Jun 13 08:20:35 2014 UTC (5 years, 7 months ago) by jasonw
File length: 15557 byte(s)
Diff to previous 95240 , to selected 93546
<<Merged from trunk#95251.>>

Revision 95240 - (view) (annotate) - [select for diffs]
Modified Wed Jun 11 16:45:55 2014 UTC (5 years, 7 months ago) by apaolo
File length: 13879 byte(s)
Diff to previous 95203 , to selected 93546
Fixed code review comments. Amend me!

Revision 95203 - (view) (annotate) - [select for diffs]
Modified Fri May 30 08:05:42 2014 UTC (5 years, 7 months ago) by jasonw
File length: 13882 byte(s)
Diff to previous 94983 , to selected 93546
<<Merged from trunk#95202.>>

Revision 94983 - (view) (annotate) - [select for diffs]
Modified Fri May 2 11:05:28 2014 UTC (5 years, 8 months ago) by jasonw
File length: 13553 byte(s)
Diff to previous 94875 , to selected 93546
<<Merged from trunk#94978.>>

Revision 94875 - (view) (annotate) - [select for diffs]
Modified Wed Apr 16 17:42:14 2014 UTC (5 years, 9 months ago) by apaolo
File length: 14021 byte(s)
Diff to previous 94874 , to selected 93546
Rearranged Paolo's Inspector Eiffel rules into the proper folders.
Deleted incomplete rule "Attribute should be local" as a very similar one (CA064) already exists.

Revision 94874 - (view) (annotate) - [select for diffs]
Modified Wed Apr 16 17:40:57 2014 UTC (5 years, 9 months ago) by apaolo
File length: 14088 byte(s)
Diff to previous 94873 , to selected 93546
Several small fixes and improvements to Inspector Eiffel rules.

- No CA_MISC_UTILS class anymore, {STRING}.adjust can be used instead of the helper trim_string function.
- Added option to the Argument and local variable naming convention rules for checking for the 'a_' and 'l_' prefix.
- In "Mergeable feature clauses" rule, uncommented feature clauses are now ignored (a rule which complains about these already exists)
- "Unneeded accessor function" rule is now always triggered regardless of the attribute export status
- Fixed subtle bug in "Explicit redundant inheritance" rule. It seems that {ARRAYED_LIST}.merge_right also erases the source sequence.

Revision 94873 - (view) (annotate) - [select for diffs]
Modified Wed Apr 16 17:40:07 2014 UTC (5 years, 9 months ago) by apaolo
File length: 14028 byte(s)
Diff to previous 94869 , to selected 93546
Implemented new "Inspect instruction has no 'when' branch" and "Explicit redundant inheritance" Inspector Eiffel rules.

Revision 94869 - (view) (annotate) - [select for diffs]
Modified Wed Apr 16 16:21:32 2014 UTC (5 years, 9 months ago) by apaolo
File length: 13832 byte(s)
Diff to previous 94868 , to selected 93546
Added skeletons for three new Inspector Eiffel rules + file renaming and prettification.

Revision 94868 - (view) (annotate) - [select for diffs]
Modified Wed Apr 16 16:20:32 2014 UTC (5 years, 9 months ago) by apaolo
File length: 13807 byte(s)
Diff to previous 94866 , to selected 93546
Added new "Empty rescue clause" Inspector Eiffel rule.

Revision 94866 - (view) (annotate) - [select for diffs]
Modified Wed Apr 16 16:19:10 2014 UTC (5 years, 9 months ago) by apaolo
File length: 13751 byte(s)
Diff to previous 94864 , to selected 93546
Added new "Mergeable feature clauses" Inspector Eiffel rule. Added new class.CA_MISC_UTILS class.

Revision 94864 - (view) (annotate) - [select for diffs]
Modified Wed Apr 16 16:17:49 2014 UTC (5 years, 9 months ago) by apaolo
File length: 13689 byte(s)
Diff to previous 94863 , to selected 93546
Renamed and improved "Unnecessary sign operator" Inspector Eiffel rule.

Revision 94863 - (view) (annotate) - [select for diffs]
Modified Wed Apr 16 16:17:11 2014 UTC (5 years, 9 months ago) by apaolo
File length: 13688 byte(s)
Diff to previous 94862 , to selected 93546
Added new 'Unneeded accessor function' rule for Inspector Eiffel (and some class prettification).

Revision 94862 - (view) (annotate) - [select for diffs]
Modified Wed Apr 16 16:16:29 2014 UTC (5 years, 9 months ago) by apaolo
File length: 13625 byte(s)
Diff to previous 94861 , to selected 93546
Added new 'Empty uncommented feature' rule for Inspector Eiffel.

Revision 94861 - (view) (annotate) - [select for diffs]
Modified Wed Apr 16 16:15:49 2014 UTC (5 years, 9 months ago) by apaolo
File length: 13563 byte(s)
Diff to previous 94740 , to selected 93546
Adding new rules about naming conventions and unnecessary unary operators.

Revision 94740 - (view) (annotate) - [select for diffs]
Modified Fri Mar 28 09:42:08 2014 UTC (5 years, 9 months ago) by jasonw
File length: 12840 byte(s)
Diff to previous 94663 , to selected 93546
<<Merged from trunk#94739.>>

Revision 94663 - (view) (annotate) - [select for diffs]
Modified Fri Mar 21 07:52:56 2014 UTC (5 years, 10 months ago) by jasonw
File length: 12773 byte(s)
Copied from: trunk/Src/framework/code_analysis/ca_code_analyzer.e revision 94661
Diff to previous 94655 , to selected 93546
<<Merged from trunk#94661.>>

Revision 94655 - (view) (annotate) - [select for diffs]
Modified Thu Mar 20 15:51:35 2014 UTC (5 years, 10 months ago) by manus
Original Path: trunk/Src/framework/code_analysis/ca_code_analyzer.e
File length: 12773 byte(s)
Diff to previous 94579 , to selected 93546
Moved the code analysis framework to trunk.

Revision 94579 - (view) (annotate) - [select for diffs]
Modified Thu Mar 6 13:37:57 2014 UTC (5 years, 10 months ago) by zurfluhs
File length: 12773 byte(s)
Diff to previous 94578 , to selected 93546
Code Analysis: comments

Revision 94578 - (view) (annotate) - [select for diffs]
Modified Thu Mar 6 13:36:14 2014 UTC (5 years, 10 months ago) by zurfluhs
File length: 12662 byte(s)
Diff to previous 94498 , to selected 93546
Code Analysis: comments

Revision 94498 - (view) (annotate) - [select for diffs]
Modified Mon Feb 24 12:08:17 2014 UTC (5 years, 10 months ago) by zurfluhs
File length: 12504 byte(s)
Diff to previous 94254 , to selected 93546
Code Analysis: refactoring

Revision 94254 - (view) (annotate) - [select for diffs]
Modified Tue Feb 11 08:31:49 2014 UTC (5 years, 11 months ago) by zurfluhs
File length: 12613 byte(s)
Diff to previous 94245 , to selected 93546
Code Analysis: refactoring

Revision 94245 - (view) (annotate) - [select for diffs]
Modified Mon Feb 10 13:49:05 2014 UTC (5 years, 11 months ago) by zurfluhs
File length: 12623 byte(s)
Diff to previous 94210 , to selected 93546
Code Analysis: added exception mechanism during rule checking

Revision 94210 - (view) (annotate) - [select for diffs]
Modified Thu Feb 6 10:22:46 2014 UTC (5 years, 11 months ago) by zurfluhs
File length: 12376 byte(s)
Diff to previous 94167 , to selected 93546
Code Analysis: changes according to code review

- improved Void-safety
- refactoring of CA_CFG_BUILDER

Revision 94167 - (view) (annotate) - [select for diffs]
Modified Tue Feb 4 16:47:25 2014 UTC (5 years, 11 months ago) by zurfluhs
File length: 12250 byte(s)
Diff to previous 94159 , to selected 93546
Code Analysis: improvements

- GUI colors can be chosen in preferences
- other

Revision 94159 - (view) (annotate) - [select for diffs]
Modified Mon Feb 3 11:55:14 2014 UTC (5 years, 11 months ago) by zurfluhs
File length: 12250 byte(s)
Diff to previous 94158 , to selected 93546
Code Analysis: changes according to code review

Revision 94158 - (view) (annotate) - [select for diffs]
Modified Mon Feb 3 10:37:52 2014 UTC (5 years, 11 months ago) by zurfluhs
File length: 12839 byte(s)
Diff to previous 94149 , to selected 93546
Code Analysis: changes according to code review

- renamed CA_LOGGER
- using bottom indices
- removed unneeded Result assigns
- CA_RULE hash code from id
- renamed CA_RULE_VIOLATION.out

Revision 94149 - (view) (annotate) - [select for diffs]
Modified Fri Jan 31 17:54:09 2014 UTC (5 years, 11 months ago) by zurfluhs
File length: 12472 byte(s)
Diff to previous 94138 , to selected 93546
Code Analysis: refactorings and improvements

most importantly:
- status progress during analysis in GUI status bar
- 'short circuit if' bugfix

Revision 94138 - (view) (annotate) - [select for diffs]
Modified Fri Jan 31 13:04:58 2014 UTC (5 years, 11 months ago) by zurfluhs
File length: 12143 byte(s)
Diff to previous 94118 , to selected 93546
Code Analysis: refactoring

- renamed class CA_CFG to CA_CONTROL_FLOW_GRAPH
- removed nonconforming inheritance
- reorganized "rules" folder

Revision 94118 - (view) (annotate) - [select for diffs]
Modified Wed Jan 29 17:17:19 2014 UTC (5 years, 11 months ago) by zurfluhs
File length: 12149 byte(s)
Diff to previous 94106 , to selected 93546
Code Analysis: - type information fix - made 'count equals zero' rule safer

Revision 94106 - (view) (annotate) - [select for diffs]
Modified Tue Jan 28 15:49:22 2014 UTC (5 years, 11 months ago) by zurfluhs
File length: 12089 byte(s)
Diff to previous 93967 , to selected 93546
Code Analysis: logging functionality

Revision 93967 - (view) (annotate) - [select for diffs]
Modified Mon Jan 13 12:05:40 2014 UTC (6 years ago) by zurfluhs
File length: 11819 byte(s)
Diff to previous 93966 , to selected 93546
Code Analysis: refactoring

Revision 93966 - (view) (annotate) - [select for diffs]
Modified Mon Jan 13 09:23:09 2014 UTC (6 years ago) by zurfluhs
File length: 11835 byte(s)
Diff to previous 93963 , to selected 93546
Code Analysis: small improvements

Revision 93963 - (view) (annotate) - [select for diffs]
Modified Sun Jan 12 19:50:44 2014 UTC (6 years ago) by zurfluhs
File length: 11155 byte(s)
Diff to previous 93951 , to selected 93546
Code Analysis: comments and some refactoring.

Revision 93951 - (view) (annotate) - [select for diffs]
Modified Fri Jan 10 12:48:38 2014 UTC (6 years ago) by zurfluhs
File length: 9805 byte(s)
Diff to previous 93943 , to selected 93546
Code Analyzer: refactoring and commenting

Revision 93943 - (view) (annotate) - [select for diffs]
Modified Thu Jan 9 13:38:38 2014 UTC (6 years ago) by zurfluhs
File length: 9856 byte(s)
Diff to previous 93914 , to selected 93546
Code Analysis: 'unneeded helper' rule

Revision 93914 - (view) (annotate) - [select for diffs]
Modified Tue Jan 7 16:52:46 2014 UTC (6 years ago) by zurfluhs
File length: 9880 byte(s)
Diff to previous 93899 , to selected 93546
Code Analysis: improved analysis with cached results

Revision 93899 - (view) (annotate) - [select for diffs]
Modified Mon Jan 6 15:12:22 2014 UTC (6 years ago) by zurfluhs
File length: 9809 byte(s)
Diff to previous 93897 , to selected 93546
Code Analysis: 'feature never called' fix

Revision 93897 - (view) (annotate) - [select for diffs]
Modified Mon Jan 6 13:10:42 2014 UTC (6 years ago) by zurfluhs
File length: 9811 byte(s)
Diff to previous 93896 , to selected 93546
Code Analysis: Caching functionality (not in use though); bug fixes.

Revision 93896 - (view) (annotate) - [select for diffs]
Modified Sun Jan 5 22:19:12 2014 UTC (6 years ago) by zurfluhs
File length: 9574 byte(s)
Diff to previous 93894 , to selected 93546
Code Analysis:

- 'unneeded parentheses' rule
- command line bugfix
- testing

Revision 93894 - (view) (annotate) - [select for diffs]
Modified Sat Jan 4 16:38:46 2014 UTC (6 years ago) by zurfluhs
File length: 9513 byte(s)
Diff to previous 93758 , to selected 93546
Code Analysis: bug fixes

Revision 93758 - (view) (annotate) - [select for diffs]
Modified Wed Dec 18 11:41:28 2013 UTC (6 years, 1 month ago) by zurfluhs
File length: 9439 byte(s)
Diff to previous 93745 , to selected 93546
Code Analysis: cont. rule implementation

Revision 93745 - (view) (annotate) - [select for diffs]
Modified Tue Dec 17 14:12:29 2013 UTC (6 years, 1 month ago) by zurfluhs
File length: 9318 byte(s)
Diff to previous 93743 , to selected 93546
Code Analysis: 'deeply nested if' rule

Revision 93743 - (view) (annotate) - [select for diffs]
Modified Tue Dec 17 13:24:11 2013 UTC (6 years, 1 month ago) by zurfluhs
File length: 9231 byte(s)
Diff to previous 93738 , to selected 93546
Code Analysis: 'count equals zero' rule

Revision 93738 - (view) (annotate) - [select for diffs]
Modified Mon Dec 16 16:46:59 2013 UTC (6 years, 1 month ago) by zurfluhs
File length: 9173 byte(s)
Diff to previous 93737 , to selected 93546
Code Analysis: new rule

- from loop can be transformed into across loop

Revision 93737 - (view) (annotate) - [select for diffs]
Modified Mon Dec 16 15:15:42 2013 UTC (6 years, 1 month ago) by zurfluhs
File length: 9119 byte(s)
Diff to previous 93736 , to selected 93546
Code Analysis: 'short circuit if' rule

Revision 93736 - (view) (annotate) - [select for diffs]
Modified Mon Dec 16 14:18:54 2013 UTC (6 years, 1 month ago) by zurfluhs
File length: 9062 byte(s)
Diff to previous 93734 , to selected 93546
Code Analysis: 'avoid not-equal comparison in if-else' rule

Revision 93734 - (view) (annotate) - [select for diffs]
Modified Mon Dec 16 13:02:32 2013 UTC (6 years, 1 month ago) by zurfluhs
File length: 9004 byte(s)
Diff to previous 93732 , to selected 93546
Code Analysis: 'empty effective routine' rule

Revision 93732 - (view) (annotate) - [select for diffs]
Modified Mon Dec 16 12:07:49 2013 UTC (6 years, 1 month ago) by zurfluhs
File length: 8940 byte(s)
Diff to previous 93714 , to selected 93546
Code Analysis: 'attribute to local' rule

Revision 93714 - (view) (annotate) - [select for diffs]
Modified Fri Dec 13 16:46:20 2013 UTC (6 years, 1 month ago) by zurfluhs
File length: 8881 byte(s)
Diff to previous 93712 , to selected 93546
Code Analysis: 'inspect instructions' rule

Revision 93712 - (view) (annotate) - [select for diffs]
Modified Fri Dec 13 16:13:09 2013 UTC (6 years, 1 month ago) by zurfluhs
File length: 8790 byte(s)
Diff to previous 93683 , to selected 93546
Code Analysis: Rules

- simplifiable boolean
- self-comparison
- wrong loop iteration
- Control Flow Graph: refactoring

Revision 93683 - (view) (annotate) - [select for diffs]
Modified Tue Dec 10 16:26:29 2013 UTC (6 years, 1 month ago) by zurfluhs
File length: 8568 byte(s)
Diff to previous 93681 , to selected 93546
Code Analysis: 'Missing is_equal redefinition' rule

Revision 93681 - (view) (annotate) - [select for diffs]
Modified Tue Dec 10 14:20:43 2013 UTC (6 years, 1 month ago) by zurfluhs
File length: 8511 byte(s)
Diff to previous 93671 , to selected 93546
Code Analysis: new rules

- very short identifier
- very long identifier

Revision 93671 - (view) (annotate) - [select for diffs]
Modified Mon Dec 9 20:28:48 2013 UTC (6 years, 1 month ago) by zurfluhs
File length: 8328 byte(s)
Diff to previous 93670 , to selected 93546
Code Analysis: 'boolean comparison' rule

Revision 93670 - (view) (annotate) - [select for diffs]
Modified Mon Dec 9 19:42:02 2013 UTC (6 years, 1 month ago) by zurfluhs
File length: 8269 byte(s)
Diff to previous 93663 , to selected 93546
Code Analysis: 'boolean result' rule

Revision 93663 - (view) (annotate) - [select for diffs]
Modified Mon Dec 9 15:19:36 2013 UTC (6 years, 1 month ago) by zurfluhs
File length: 8214 byte(s)
Diff to previous 93662 , to selected 93546
Code Analysis: 'feature not commented' rule

Revision 93662 - (view) (annotate) - [select for diffs]
Modified Mon Dec 9 14:12:17 2013 UTC (6 years, 1 month ago) by zurfluhs
File length: 8152 byte(s)
Diff to previous 93660 , to selected 93546
Code Analysis: 'feature section not commented' rule

Revision 93660 - (view) (annotate) - [select for diffs]
Modified Sat Dec 7 15:42:33 2013 UTC (6 years, 1 month ago) by zurfluhs
File length: 8088 byte(s)
Diff to previous 93659 , to selected 93546
Code Analysis: 'very big class' rule.

Revision 93659 - (view) (annotate) - [select for diffs]
Modified Sat Dec 7 15:07:49 2013 UTC (6 years, 1 month ago) by zurfluhs
File length: 8003 byte(s)
Diff to previous 93638 , to selected 93546
Code Analysis: 'routine too long' rule.

Revision 93638 - (view) (annotate) - [select for diffs]
Modified Fri Dec 6 11:59:14 2013 UTC (6 years, 1 month ago) by zurfluhs
File length: 7915 byte(s)
Diff to previous 93588 , to selected 93546
Code Analysis: new rule & re-fixed false fix

Revision 93588 - (view) (annotate) - [select for diffs]
Modified Sun Dec 1 16:42:39 2013 UTC (6 years, 1 month ago) by zurfluhs
File length: 7856 byte(s)
Diff to previous 93546
Code Analysis: Control Flow Graphs (continued)

Revision 93546 - (view) (annotate) - [selected]
Modified Tue Nov 26 13:33:50 2013 UTC (6 years, 1 month ago) by zurfluhs
File length: 7990 byte(s)
Diff to previous 93544
Code Analysis: added 'creation procedure exported' rule

Revision 93544 - (view) (annotate) - [select for diffs]
Modified Tue Nov 26 11:14:22 2013 UTC (6 years, 1 month ago) by zurfluhs
File length: 7927 byte(s)
Diff to previous 93526 , to selected 93546
Code Analyzer:

- added 'many feature arguments' rule
- removed some unused classes

Revision 93526 - (view) (annotate) - [select for diffs]
Modified Mon Nov 25 15:03:37 2013 UTC (6 years, 1 month ago) by zurfluhs
File length: 7842 byte(s)
Diff to previous 93475 , to selected 93546
Code Analysis:

- GUI: moving to next or previous issue possible
- new design for rule-specific options (and connecting it to the GUI)

Revision 93475 - (view) (annotate) - [select for diffs]
Modified Wed Nov 20 16:09:46 2013 UTC (6 years, 1 month ago) by zurfluhs
File length: 7730 byte(s)
Diff to previous 93443 , to selected 93546
Code Analysis: preferences system (initial)

Revision 93443 - (view) (annotate) - [select for diffs]
Modified Tue Nov 19 21:46:04 2013 UTC (6 years, 2 months ago) by zurfluhs
File length: 7658 byte(s)
Diff to previous 93431 , to selected 93546
Code Analysis: added 'nested loops/branches' rule

Revision 93431 - (view) (annotate) - [select for diffs]
Modified Tue Nov 19 20:13:42 2013 UTC (6 years, 2 months ago) by zurfluhs
File length: 7600 byte(s)
Diff to previous 93428 , to selected 93546
Code Analysis: refactoring: use of STRING_32 throughout

Revision 93428 - (view) (annotate) - [select for diffs]
Modified Tue Nov 19 13:09:13 2013 UTC (6 years, 2 months ago) by zurfluhs
File length: 7589 byte(s)
Diff to previous 93427 , to selected 93546
Code Analyzer: minor

Revision 93427 - (view) (annotate) - [select for diffs]
Modified Tue Nov 19 10:39:06 2013 UTC (6 years, 2 months ago) by zurfluhs
File length: 7531 byte(s)
Diff to previous 93426 , to selected 93546
Code Analyzer: added rule 'unneeded object test local'.

Revision 93426 - (view) (annotate) - [select for diffs]
Modified Tue Nov 19 08:45:14 2013 UTC (6 years, 2 months ago) by zurfluhs
File length: 7470 byte(s)
Diff to previous 93389 , to selected 93546
Code Analysis: GUI:

- analysis options in class indexing clauses
  - rules that ignore class
  - library / nonlibrary classes

Revision 93389 - (view) (annotate) - [select for diffs]
Modified Fri Nov 15 17:19:03 2013 UTC (6 years, 2 months ago) by zurfluhs
File length: 5308 byte(s)
Diff to previous 93377 , to selected 93546
Code Analysis: GUI: various improvements

- also: unused argument rule fix
- also: asynchronous rule checking

Revision 93377 - (view) (annotate) - [select for diffs]
Modified Thu Nov 14 15:39:07 2013 UTC (6 years, 2 months ago) by zurfluhs
File length: 5342 byte(s)
Diff to previous 93373 , to selected 93546
Code Analysis: GUI:

- urgent improvements and fixes
- callable from class context menu

Revision 93373 - (view) (annotate) - [select for diffs]
Modified Thu Nov 14 11:49:21 2013 UTC (6 years, 2 months ago) by zurfluhs
File length: 5259 byte(s)
Diff to previous 93333 , to selected 93546
Code Analyis: GUI: prototype

Revision 93333 - (view) (annotate) - [select for diffs]
Modified Tue Nov 12 22:48:07 2013 UTC (6 years, 2 months ago) by zurfluhs
File length: 5255 byte(s)
Diff to previous 93300 , to selected 93546
Code Analysis

- library, nonlibrary (and both) rule types
- improved status report during and after analysis
- GUI: created (yet unused) tool window skeleton

Revision 93300 - (view) (annotate) - [select for diffs]
Modified Sun Nov 10 22:44:12 2013 UTC (6 years, 2 months ago) by zurfluhs
File length: 4457 byte(s)
Diff to previous 93299 , to selected 93546
Code Analysis: added 'cq separation' rule draft (untested)

Revision 93299 - (view) (annotate) - [select for diffs]
Modified Sun Nov 10 21:37:47 2013 UTC (6 years, 2 months ago) by zurfluhs
File length: 4403 byte(s)
Diff to previous 93298 , to selected 93546
Code Analysis: implemented 'feature never called' rule

(for trying out system-wide rules that do not depend on AST visits)

Revision 93298 - (view) (annotate) - [select for diffs]
Modified Sun Nov 10 16:23:07 2013 UTC (6 years, 2 months ago) by zurfluhs
File length: 4342 byte(s)
Diff to previous 93216 , to selected 93546
Code Analysis:

- CFG rule implementation (issues remaining)
- Rule options design change
- Integer option for NPATH rule
- asynchronous task class
- other minor

Revision 93216 - (view) (annotate) - [select for diffs]
Modified Wed Nov 6 16:55:32 2013 UTC (6 years, 2 months ago) by zurfluhs
File length: 4229 byte(s)
Diff to previous 93181 , to selected 93546
Code Analysis:

- updated testing facilities
- updated localized strings
- added 'empty if' rule

Revision 93181 - (view) (annotate) - [select for diffs]
Modified Tue Oct 29 10:59:59 2013 UTC (6 years, 2 months ago) by zurfluhs
File length: 4189 byte(s)
Diff to previous 93179 , to selected 93546
Code Analysis:

- new rule type for checking by backward iterator through routine
- 'formatted' output for description in console

Revision 93179 - (view) (annotate) - [select for diffs]
Modified Tue Oct 29 06:56:44 2013 UTC (6 years, 2 months ago) by zurfluhs
File length: 3728 byte(s)
Diff to previous 93177 , to selected 93546
Code Analysis: added localization capabilities

Revision 93177 - (view) (annotate) - [select for diffs]
Modified Mon Oct 28 22:16:38 2013 UTC (6 years, 2 months ago) by zurfluhs
File length: 3712 byte(s)
Diff to previous 93174 , to selected 93546
Code Analysis:

- formatted version of rule violation description
- refactorings and other minor changes

Revision 93174 - (view) (annotate) - [select for diffs]
Modified Mon Oct 28 12:30:08 2013 UTC (6 years, 2 months ago) by zurfluhs
File length: 3667 byte(s)
Diff to previous 93173 , to selected 93546
Code Analysis: distinction between class-wide and system-wide rules.

Revision 93173 - (view) (annotate) - [select for diffs]
Modified Fri Oct 25 16:09:21 2013 UTC (6 years, 2 months ago) by zurfluhs
File length: 3919 byte(s)
Diff to previous 93168 , to selected 93546
Code Analysis:

- framework redesign (to be continued)
- rule violation output now sorted by class and location

Revision 93168 - (view) (annotate) - [select for diffs]
Added Thu Oct 24 19:43:13 2013 UTC (6 years, 2 months ago) by zurfluhs
File length: 3358 byte(s)
Diff to selected 93546
Code Analysis: initial commit for code analysis project. Library 'code_analysis' added.

This form allows you to request diffs between any two revisions of this file. For each of the two "sides" of the diff, enter a numeric revision.

  Diffs between and
  Type of Diff should be a

  ViewVC Help
Powered by ViewVC 1.1.23