Project

General

Profile

Actions
Copy link

Feature #2959

closed

We need to develop analyzer on the basis of CIF infrastructure for the new environment generator

Added by Evgeny Novikov over 12 years ago. Updated over 11 years ago.

Status:
Closed
Priority:
High
Assignee:
Evgeny Novikov
Category:
-
Start date:
06/06/2012
Due date:
% Done:

0%

Estimated time:
Published in build:

Description

This analyzer should be much more precise and flexible in comparison with the old one, that was based on regexps.

Related issues 4 (1 open — 3 closed)

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

Actions
Blocked by C Instrumentation Framework - Feature #3512: Add ability to get information on actual macro parameter valuesClosedEvgeny Novikov09/27/2012

Actions
Blocked by C Instrumentation Framework - Feature #3564: Support a macro name as an aspect body patternClosedEvgeny Novikov10/10/2012

Actions
Blocked by C Instrumentation Framework - Feature #3692: Add ability to get information on structure variable initializationOpenEvgeny Novikov11/16/2012

Actions
Actions
Copy link
 #1

Updated by Evgeny Novikov about 12 years ago

  • Status changed from New to Open
  • Assignee changed from Ilja Zakharov to Evgeny Novikov

At the moment I'm working on it.

Actions
Copy link
 #2

Updated by Evgeny Novikov about 12 years ago

  • Project changed from Linux Driver Verification to C Instrumentation Framework
  • Category deleted (15)
Actions
Copy link
 #3

Updated by Evgeny Novikov over 11 years ago

  • Status changed from Open to Closed

After implementing, testing and merging #3692, this feature request was implemented as well.

Actions
Copy link

Also available in: Atom PDF