Author(s)

Politehnica University of

Bucharest

Automatic Control and Computers

Faculty

Computer Science

Department

Robocheck – Integrated Code Validation Tool

Cezar Socoteanucezar.socoteanu@gmail.com

Iulia Bolcuiulia.bolcu@cti.pub.ro

Bachelor Presentation Session - July 2011

As. Drd. Ing. Răzvan DeaconescuDrd. Ing. Octavian Purdilă

Scientific Advisors

Content

Why Robocheck?WorkflowArchitechtureRobocheck FeaturesImplementationFurther ImprovementConclusion

22.04.23 Bachelor Presentation Session - July 2011 2

Why Robocheck?

22.04.23 Bachelor Presentation Session - July 2011 3

Still…why Robocheck?

22.04.23 Bachelor Presentation Session - July 2011 4

Workflow

22.04.23 Bachelor Presentation Session - July 2011 5

Robocheck Features

22.04.23 Bachelor Presentation Session - July 2011 6

Architechture

22.04.23 Bachelor Presentation Session - July 2011 7

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

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

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

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

Future Improvement

Windows portingFault toleranceIntegrate tools for other languagesVMChecker integration

22.04.23 Bachelor Presentation Session - July 2011 12

Conclusion

Configurability and extensibilityAutomation and subjectivity eliminationProgram proper functioningComplementary part of VMCheckerWe`re almost there…

22.04.23 Bachelor Presentation Session - July 2011 13

Questions

Static and dynamic program analysisRuntime library loadingXMLASTUser Interactivity

22.04.23 Bachelor Presentation Session - July 2011 14