robocheck – integrated code validation tool
DESCRIPTION
Robocheck – Integrated Code Validation Tool. Scientific Advisors. Cezar Socoteanu cezar.socoteanu @gmail.com Iulia Bolcu iulia.bolcu @ cti.pub.ro. Bachelor Presentation Session - July 201 1. As. Drd. Ing. R ăzvan Deaconescu Drd. Ing. Octavian Purdilă. Content. Why Robocheck? Workflow - PowerPoint PPT PresentationTRANSCRIPT
![Page 1: Robocheck – Integrated Code Validation Tool](https://reader034.vdocuments.net/reader034/viewer/2022051821/568159f3550346895dc73e9c/html5/thumbnails/1.jpg)
Author(s)
Politehnica University of
Bucharest
Automatic Control and Computers
Faculty
Computer Science
Department
Robocheck – Integrated Code Validation Tool
Cezar [email protected]
Iulia [email protected]
Bachelor Presentation Session - July 2011
As. Drd. Ing. Răzvan DeaconescuDrd. Ing. Octavian Purdilă
Scientific Advisors
![Page 2: Robocheck – Integrated Code Validation Tool](https://reader034.vdocuments.net/reader034/viewer/2022051821/568159f3550346895dc73e9c/html5/thumbnails/2.jpg)
Content
Why Robocheck?WorkflowArchitechtureRobocheck FeaturesImplementationFurther ImprovementConclusion
22.04.23 Bachelor Presentation Session - July 2011 2
![Page 3: Robocheck – Integrated Code Validation Tool](https://reader034.vdocuments.net/reader034/viewer/2022051821/568159f3550346895dc73e9c/html5/thumbnails/3.jpg)
Why Robocheck?
22.04.23 Bachelor Presentation Session - July 2011 3
![Page 4: Robocheck – Integrated Code Validation Tool](https://reader034.vdocuments.net/reader034/viewer/2022051821/568159f3550346895dc73e9c/html5/thumbnails/4.jpg)
Still…why Robocheck?
22.04.23 Bachelor Presentation Session - July 2011 4
![Page 5: Robocheck – Integrated Code Validation Tool](https://reader034.vdocuments.net/reader034/viewer/2022051821/568159f3550346895dc73e9c/html5/thumbnails/5.jpg)
Workflow
22.04.23 Bachelor Presentation Session - July 2011 5
![Page 6: Robocheck – Integrated Code Validation Tool](https://reader034.vdocuments.net/reader034/viewer/2022051821/568159f3550346895dc73e9c/html5/thumbnails/6.jpg)
Robocheck Features
22.04.23 Bachelor Presentation Session - July 2011 6
![Page 7: Robocheck – Integrated Code Validation Tool](https://reader034.vdocuments.net/reader034/viewer/2022051821/568159f3550346895dc73e9c/html5/thumbnails/7.jpg)
Architechture
22.04.23 Bachelor Presentation Session - July 2011 7
![Page 8: Robocheck – Integrated Code Validation Tool](https://reader034.vdocuments.net/reader034/viewer/2022051821/568159f3550346895dc73e9c/html5/thumbnails/8.jpg)
Application Configuration
22.04.23 Bachelor Presentation Session - July 2011 8
rbc_config.xml configuration fileconfigure tool3 file sections: core initialization, installed
tools and registered errors
![Page 9: Robocheck – Integrated Code Validation Tool](https://reader034.vdocuments.net/reader034/viewer/2022051821/568159f3550346895dc73e9c/html5/thumbnails/9.jpg)
Robocheck Core
22.04.23 Bachelor Presentation Session - July 2011 9
Set of functions for extracting data from the rbc_config.xml file
Functions for effectively running the integrated tools
Using the core can be done with: init_robocheck() and run_robocheck()
init_robocheck() callrun_robocheck() call
![Page 10: Robocheck – Integrated Code Validation Tool](https://reader034.vdocuments.net/reader034/viewer/2022051821/568159f3550346895dc73e9c/html5/thumbnails/10.jpg)
Penalty Module
Errors have an unique IDEach error has a single penalty associatedA penalty consists in: a penalty message, a
value and a value type
22.04.23 Bachelor Presentation Session - July 2011 10
![Page 11: Robocheck – Integrated Code Validation Tool](https://reader034.vdocuments.net/reader034/viewer/2022051821/568159f3550346895dc73e9c/html5/thumbnails/11.jpg)
Sparse integration
Static library written by Linus TorvaldsOffers an API for frontend and backend
analysisDetected features: function line count,
function indentation level, black listed function calls have the return value verified and others
22.04.23 Bachelor Presentation Session - July 2011 11
![Page 12: Robocheck – Integrated Code Validation Tool](https://reader034.vdocuments.net/reader034/viewer/2022051821/568159f3550346895dc73e9c/html5/thumbnails/12.jpg)
Future Improvement
Windows portingFault toleranceIntegrate tools for other languagesVMChecker integration
22.04.23 Bachelor Presentation Session - July 2011 12
![Page 13: Robocheck – Integrated Code Validation Tool](https://reader034.vdocuments.net/reader034/viewer/2022051821/568159f3550346895dc73e9c/html5/thumbnails/13.jpg)
Conclusion
Configurability and extensibilityAutomation and subjectivity eliminationProgram proper functioningComplementary part of VMCheckerWe`re almost there…
22.04.23 Bachelor Presentation Session - July 2011 13
![Page 14: Robocheck – Integrated Code Validation Tool](https://reader034.vdocuments.net/reader034/viewer/2022051821/568159f3550346895dc73e9c/html5/thumbnails/14.jpg)
Questions
Static and dynamic program analysisRuntime library loadingXMLASTUser Interactivity
22.04.23 Bachelor Presentation Session - July 2011 14