List view

Invalid "Warning: Unreachable code detected" on STOP RUN statement

Bug

Cobol

User VisibleVisible by the end user. Useful to priorize issueVisible by the end user. Useful to priorize issue

Status: Open.

#2153 In TypeCobolTeam/TypeCobol;

· alvaro-vantis-pt opened on Feb 28, 2022

Implement missing symbols from Semantic Domain Lite

Cobol

Enhancement

Status: Open.

#1774 In TypeCobolTeam/TypeCobol;

· rooksdo opened on Sep 30, 2020

Complete the building of SemanticDomain

Status: Open.

#1730 In TypeCobolTeam/TypeCobol;

· fm-117 opened on May 29, 2020

Add physical length into the type system

Cobol

TypeCobol

Status: Open.

#1728 In TypeCobolTeam/TypeCobol;

· fm-117 opened on May 25, 2020

Add COBOL symbol usages/modifiers to the semantic of Types

DataFlow

TypeCobol

Types

Status: Open.

#1520 In TypeCobolTeam/TypeCobol;

· mayanje opened on Oct 21, 2019

CFG Implement an Abstract Interpretation Driver

DataFlow

Enhancement

Status: Open.

#2045 In TypeCobolTeam/TypeCobol;

· mayanje opened on Oct 11, 2021

Store cycles during recursive perform detection

Cobol

DataFlow

Enhancement

Status: Open.

#2039 In TypeCobolTeam/TypeCobol;

· fm-117 opened on Sep 22, 2021

WI #2039 Compute cyclic call using transitive closure.

DataFlow

🔍 Ready for ReviewPull Request is not reviewed yetPull Request is not reviewed yet

Status: Open (in progress).

TypeCobolTeam/TypeCobolnumber 2052

#2052 In TypeCobolTeam/TypeCobol;

· mayanje opened on Oct 21, 2021

CFG improvements

CLI

DataFlow

rfcSpecifications are not complete. Comment are welcomed.Specifications are not complete. Comment are welcomed.

Status: Open.

#1783 In TypeCobolTeam/TypeCobol;

· fm-117 opened on Oct 9, 2020

DFA improvements

CLI

DataFlow

rfcSpecifications are not complete. Comment are welcomed.Specifications are not complete. Comment are welcomed.

Status: Open.

#1807 In TypeCobolTeam/TypeCobol;

· fm-117 opened on Nov 17, 2020

CFG Error on programs with SORT statement

Status: Open.

#1973 In TypeCobolTeam/TypeCobol;

· alvaro-vantis-pt opened on Jun 2, 2021

How to handle GroupType ?

Cobol

Enhancement

Status: Open.

#1725 In TypeCobolTeam/TypeCobol;

· smedilol opened on May 20, 2020

CFG Wrong CurrentSection setting in presence of DIRECTIVE

Bug

Status: Open.

#2081 In TypeCobolTeam/TypeCobol;

· mayanje opened on Nov 18, 2021

Report unreachable code ranges

Cobol

Enhancement

ErrorMessageIssue related to error messagesIssue related to error messages

User VisibleVisible by the end user. Useful to priorize issueVisible by the end user. Useful to priorize issue

Status: Open.

#2032 In TypeCobolTeam/TypeCobol;

· fm-117 opened on Aug 17, 2021