A user with 33 edits. Account created on 25 November 2012.
21 April 2013
- 13:40 13:40, 21 April 2013 diff hist +35 ECLAIR Added a reference to "Secure Coding in C and C++", 2nd edition, which cites ECLAIR.
28 December 2012
- 08:22 08:22, 28 December 2012 diff hist +94 List of Eclipse-based software Added ECLAIR to the list of tools.
- 08:16 08:16, 28 December 2012 diff hist +95 Application security Added ECLAIR to the list of static analysis tools.
- 07:28 07:28, 28 December 2012 diff hist −135 MISRA C External link avoided.
- 07:06 07:06, 28 December 2012 diff hist +308 List of tools for static code analysis →Formal methods tools
- 07:05 07:05, 28 December 2012 diff hist +120 List of tools for static code analysis →C/C++
- 06:56 06:56, 28 December 2012 diff hist −33 Model checking External link avoided.
- 06:55 06:55, 28 December 2012 diff hist +149 Model checking Undid revision 527210570 by Hermel ( talk)
- 06:53 06:53, 28 December 2012 diff hist −33 Abstract interpretation Link to ECLAIR.
27 December 2012
- 08:43 08:43, 27 December 2012 diff hist +121 User talk:Mrt3366 →Submitted: new section
- 08:35 08:35, 27 December 2012 diff hist +444 ECLAIR No edit summary
- 08:34 08:34, 27 December 2012 diff hist 0 ECLAIR List sorted.
- 08:33 08:33, 27 December 2012 diff hist +87 ECLAIR Further revision to address the comments of reviewers.
23 December 2012
- 14:26 14:26, 23 December 2012 diff hist +352 User talk:Mrt3366 →ECLAIR: new section
- 14:21 14:21, 23 December 2012 diff hist −338 User talk:Mrt3366 →A cupcake for you!
- 14:20 14:20, 23 December 2012 diff hist +338 User talk:Mrt3366 No edit summary
- 14:12 14:12, 23 December 2012 diff hist +212 ECLAIR Paragraphs rewritten.
9 December 2012
- 10:14 10:14, 9 December 2012 diff hist +149 Model checking Added ECLAIR to the list of tools that employ model checking techniques.
- 10:04 10:04, 9 December 2012 diff hist +45 Abstract interpretation Added ECLAIR to the list of tools that employ abstract interpretation techniques.
26 November 2012
- 14:20 14:20, 26 November 2012 diff hist +444 ECLAIR No edit summary
- 14:18 14:18, 26 November 2012 diff hist +494 List of tools for static code analysis Added ECLAIR to the lists of tools.
- 14:15 14:15, 26 November 2012 diff hist +39 ECLAIR No edit summary
- 13:57 13:57, 26 November 2012 diff hist +159 MISRA C Listed ECLAIR among the tools providing support for MISRA C.
- 13:48 13:48, 26 November 2012 diff hist +319 ECLAIR Reference to publication about ECLAIR added.
- 13:30 13:30, 26 November 2012 diff hist +246 ECLAIR Added links to the CERT Secure Coding Standards pages.
25 November 2012
- 20:19 20:19, 25 November 2012 diff hist +444 ECLAIR No edit summary
- 20:16 20:16, 25 November 2012 diff hist −36 ECLAIR Rephrased.
- 11:05 11:05, 25 November 2012 diff hist +340 Wikipedia:Changing username/Simple →Want to correct wrong capitalization: new section
A user with 33 edits. Account created on 25 November 2012.
21 April 2013
- 13:40 13:40, 21 April 2013 diff hist +35 ECLAIR Added a reference to "Secure Coding in C and C++", 2nd edition, which cites ECLAIR.
28 December 2012
- 08:22 08:22, 28 December 2012 diff hist +94 List of Eclipse-based software Added ECLAIR to the list of tools.
- 08:16 08:16, 28 December 2012 diff hist +95 Application security Added ECLAIR to the list of static analysis tools.
- 07:28 07:28, 28 December 2012 diff hist −135 MISRA C External link avoided.
- 07:06 07:06, 28 December 2012 diff hist +308 List of tools for static code analysis →Formal methods tools
- 07:05 07:05, 28 December 2012 diff hist +120 List of tools for static code analysis →C/C++
- 06:56 06:56, 28 December 2012 diff hist −33 Model checking External link avoided.
- 06:55 06:55, 28 December 2012 diff hist +149 Model checking Undid revision 527210570 by Hermel ( talk)
- 06:53 06:53, 28 December 2012 diff hist −33 Abstract interpretation Link to ECLAIR.
27 December 2012
- 08:43 08:43, 27 December 2012 diff hist +121 User talk:Mrt3366 →Submitted: new section
- 08:35 08:35, 27 December 2012 diff hist +444 ECLAIR No edit summary
- 08:34 08:34, 27 December 2012 diff hist 0 ECLAIR List sorted.
- 08:33 08:33, 27 December 2012 diff hist +87 ECLAIR Further revision to address the comments of reviewers.
23 December 2012
- 14:26 14:26, 23 December 2012 diff hist +352 User talk:Mrt3366 →ECLAIR: new section
- 14:21 14:21, 23 December 2012 diff hist −338 User talk:Mrt3366 →A cupcake for you!
- 14:20 14:20, 23 December 2012 diff hist +338 User talk:Mrt3366 No edit summary
- 14:12 14:12, 23 December 2012 diff hist +212 ECLAIR Paragraphs rewritten.
9 December 2012
- 10:14 10:14, 9 December 2012 diff hist +149 Model checking Added ECLAIR to the list of tools that employ model checking techniques.
- 10:04 10:04, 9 December 2012 diff hist +45 Abstract interpretation Added ECLAIR to the list of tools that employ abstract interpretation techniques.
26 November 2012
- 14:20 14:20, 26 November 2012 diff hist +444 ECLAIR No edit summary
- 14:18 14:18, 26 November 2012 diff hist +494 List of tools for static code analysis Added ECLAIR to the lists of tools.
- 14:15 14:15, 26 November 2012 diff hist +39 ECLAIR No edit summary
- 13:57 13:57, 26 November 2012 diff hist +159 MISRA C Listed ECLAIR among the tools providing support for MISRA C.
- 13:48 13:48, 26 November 2012 diff hist +319 ECLAIR Reference to publication about ECLAIR added.
- 13:30 13:30, 26 November 2012 diff hist +246 ECLAIR Added links to the CERT Secure Coding Standards pages.
25 November 2012
- 20:19 20:19, 25 November 2012 diff hist +444 ECLAIR No edit summary
- 20:16 20:16, 25 November 2012 diff hist −36 ECLAIR Rephrased.
- 11:05 11:05, 25 November 2012 diff hist +340 Wikipedia:Changing username/Simple →Want to correct wrong capitalization: new section