Project

General

Profile

Actions

Bug #5597

closed

[efsm] Processing of loops

Added by Mikhail Chupilko about 9 years ago. Updated about 9 years ago.

Status:
Closed
Priority:
Normal
Assignee:
Category:
-
Target version:
Start date:
02/03/2015
Due date:
% Done:

100%

Estimated time:
Detected in build:
svn
Platform:
Published in build:
20150307

Description

Processing of loops seems having been unimplemented in cfg-cgaa transformer yet.

...
2015.02.03 15:34:52.283. WARNING: Loop is found
2015.02.03 15:34:52.283. WARNING: Loop is found
2015.02.03 15:34:52.283. WARNING: Loop is found
2015.02.03 15:34:52.284. INFO: Retrascope is shutting down
Exception in thread "main" java.lang.StackOverflowError
    at java.text.DecimalFormat.getPositivePrefixFieldPositions(DecimalFormat.java:2415)
    at java.text.DecimalFormat.subformat(DecimalFormat.java:1639)
    at java.text.DecimalFormat.format(DecimalFormat.java:712)
    at java.text.DecimalFormat.format(DecimalFormat.java:646)
    at java.text.SimpleDateFormat.zeroPaddingNumber(SimpleDateFormat.java:1393)
    at java.text.SimpleDateFormat.subFormat(SimpleDateFormat.java:1332)
    at java.text.SimpleDateFormat.format(SimpleDateFormat.java:966)
    at java.text.SimpleDateFormat.format(SimpleDateFormat.java:936)
    at java.text.DateFormat.format(DateFormat.java:345)
    at ru.ispras.retrascope.util.Log$LogFormatter.format(Log.java:52)
    at java.util.logging.StreamHandler.publish(StreamHandler.java:211)
    at java.util.logging.ConsoleHandler.publish(ConsoleHandler.java:116)
    at java.util.logging.Logger.log(Logger.java:738)
    at java.util.logging.Logger.doLog(Logger.java:765)
    at java.util.logging.Logger.log(Logger.java:788)
    at ru.ispras.retrascope.engine.cfg.transformer.cgaa.CfgCgaaTransformerBuilder.onCaseBegin(CfgCgaaTransformerBuilder.java:591)
    at ru.ispras.retrascope.model.cfg.CfgWalker.visitCase(CfgWalker.java:235)
    at ru.ispras.retrascope.model.cfg.CfgWalker.visitNode(CfgWalker.java:149)
    at ru.ispras.retrascope.model.cfg.CfgWalker.visit(CfgWalker.java:119)
    at ru.ispras.retrascope.model.cfg.CfgWalker.visitSwitch(CfgWalker.java:222)
    at ru.ispras.retrascope.model.cfg.CfgWalker.visitNode(CfgWalker.java:155)
    at ru.ispras.retrascope.model.cfg.CfgWalker.visit(CfgWalker.java:119)
    at ru.ispras.retrascope.model.cfg.CfgWalker.visitMerge(CfgWalker.java:229)
    at ru.ispras.retrascope.model.cfg.CfgWalker.visitNode(CfgWalker.java:152)
    ...


Related issues 1 (0 open1 closed)

Related to Retrascope - Task #5161: [parser][cfg] Обработка циклов ClosedSergey Smolov07/28/2014

Actions
Actions

Also available in: Atom PDF