1. Author(s) Politehnica University of Bucharest Automatic Control and Computers Faculty Computer Science Department Robocheck – Integrated Code Validation Tool Cezar Socoteanu cezar.socoteanu@gmail.com Iulia Bolcu iulia.bolcu@cti.pub.ro Bachelor Presentation Session - July 2011 As. Drd. Ing. R ă zvan Deaconescu Drd. Ing. Octavian Purdil ă Scientific Advisors

2. Content  Why Robocheck?  Workflow  Architechture  Robocheck Features  Implementation  Further Improvement  Conclusion 28.11.2015Bachelor Presentation Session - July 20112

3. Why Robocheck? 28.11.2015Bachelor Presentation Session - July 20113

4. Still…why Robocheck? 28.11.2015Bachelor Presentation Session - July 20114

5. Workflow 28.11.2015Bachelor Presentation Session - July 20115

6. Robocheck Features 28.11.2015Bachelor Presentation Session - July 20116

7. Architechture 28.11.2015Bachelor Presentation Session - July 20117

8. Application Configuration 28.11.2015Bachelor Presentation Session - July 20118  rbc_config.xml configuration file  configure tool  3 file sections: core initialization, installed tools and registered errors

9. Robocheck Core 28.11.2015Bachelor Presentation Session - July 20119  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() call run_robocheck() call

10. Penalty Module  Errors have an unique ID  Each error has a single penalty associated  A penalty consists in: a penalty message, a value and a value type 28.11.2015Bachelor Presentation Session - July 201110

11. Sparse integration  Static library written by Linus Torvalds  Offers an API for frontend and backend analysis  Detected features: function line count, function indentation level, black listed function calls have the return value verified and others 28.11.2015Bachelor Presentation Session - July 201111

12. Future Improvement  Windows porting  Fault tolerance  Integrate tools for other languages  VMChecker integration 28.11.2015Bachelor Presentation Session - July 201112

13. Conclusion  Configurability and extensibility  Automation and subjectivity elimination  Program proper functioning  Complementary part of VMChecker  We`re almost there… 28.11.2015Bachelor Presentation Session - July 201113

14. Questions  Static and dynamic program analysis  Runtime library loading  XML  AST  User Interactivity 28.11.2015Bachelor Presentation Session - July 201114