1 / 14

Robocheck – Integrated Code Validation Tool

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

giona
Télécharger la présentation

Robocheck – Integrated Code Validation Tool

An Image/Link below is provided (as is) to download presentation Download Policy: Content on the Website is provided to you AS IS for your information and personal use and may not be sold / licensed / shared on other websites without getting consent from its author. Content is provided to you AS IS for your information and personal use only. Download presentation by click this link. While downloading, if for some reason you are not able to download a presentation, the publisher may have deleted the file from their server. During download, if you can't get a presentation, the file might be deleted by the publisher.

E N D

Presentation Transcript

  1. Robocheck – Integrated Code Validation Tool Scientific Advisors Cezar Socoteanucezar.socoteanu@gmail.com Iulia Bolcuiulia.bolcu@cti.pub.ro • Bachelor Presentation Session - July 2011 As. Drd. Ing. Răzvan Deaconescu Drd. Ing. Octavian Purdilă

  2. Content • Why Robocheck? • Workflow • Architechture • Robocheck Features • Implementation • Further Improvement • Conclusion Bachelor Presentation Session - July 2011

  3. Why Robocheck? Bachelor Presentation Session - July 2011

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

  5. Workflow Bachelor Presentation Session - July 2011

  6. Robocheck Features Bachelor Presentation Session - July 2011

  7. Architechture Bachelor Presentation Session - July 2011

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

  9. Robocheck Core • 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 Bachelor Presentation Session - July 2011

  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 Bachelor Presentation Session - July 2011

  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 Bachelor Presentation Session - July 2011

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

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

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

More Related