Project

General

Profile

Actions

Feature #3383

open

Rule instrumentor needs refactoring

Added by Evgeny Novikov about 12 years ago. Updated about 12 years ago.

Status:
Open
Priority:
Normal
Category:
Infrastructure
Start date:
08/30/2012
Due date:
% Done:

0%

Estimated time:
Published in build:

Description

While implementing aspect rerouter (#2462) and some other new CIF features (#2958), I have finally understood that RI needs refactoring. First of all RI is all-in-one script because of it combines:
  • model database processing
  • command stream reading, processing and generation
  • processing of plain and aspect models, while aspect models are processed by either GCC-based or LLVM-based aspectator (#3236)
  • correspondingly aspectator (CIF) interface (#1672)
  • report generation
  • caching

and there is not clear and good interface among these parts! A lot of data is transfered implicitly by means of global variables.

Then, RI works "linear". For instance, #2462 needs double "execution" of CC commands from command stream: first "execution" is for information requests performing; second "execution" is for standard instrumentation.

PS. While ldv-upload is uploading a large task to database it's a good time to post feature requests :)


Related issues 3 (2 open1 closed)

Blocked by Linux Driver Verification - Feature #3236: Finally eliminate bindings with LLVM from LDVOpenEvgeny Novikov07/19/2012

Actions
Blocked by C Instrumentation Framework - Feature #1672: Easy interface for AspectatorClosedEvgeny Novikov08/22/2011

Actions
Blocked by Linux Driver Verification - Feature #3803: Take rerouter errors into accountOpenEvgeny Novikov12/14/2012

Actions
Actions #1

Updated by Evgeny Novikov about 12 years ago

  • Category changed from 15 to Infrastructure
Actions

Also available in: Atom PDF