Identify the modules called by a CALL statement. (A09.T01) #1275
Comments
mayanje
added this to the v1.4-Global-storage / type and procedure visibility breaking changes milestone
19 tasks
mayanje
added a commit
that referenced
this issue
Aug 30, 2019
mayanje
added a commit
that referenced
this issue
Sep 13, 2019
mayanje
added a commit
that referenced
this issue
Oct 11, 2019
* WI #1262 Elaborate semantic objects. * WI #1263 Add Listener and Dispatcher interfaces, classes to node creation and parsing actions * WI #1264 Elaborate semantic domain. * WI #1264 Remove all references to the Intrinsic file. * WI #1262 Rename symbols RecordType becomes GroupType and GlobalSymbolTable becomes RootSymbolTable. * WI #1264 Review to make semantic domain checkable. * WI #1264 Change the target for the semantic data of an index to be that index. * WI #1264 Generalize Visibility mask to symbol, for propagation. * WI #1264 Check function parameter sharing mode if null. * WI #1264 Remove unused code. * Start pull request Semantic Domain validation. (#1325) * Start pull request Semantic Domain validation. * Allow to compare the Node associated to Symbol. * Add TestInitialize Domain in Comparator.cs * Add TestInitialize Domain in GrammarTest. * WI #1278 Make new semantic domain testable inside TypeCobol. * WI #1357 Write hand coded picture string syntax checker. * WI #1260 Minor validation changes - Correct all typo. - Use DataDefinition instance for OnLevel1Definition method. * WI #1264 Make all Equals using StringComparer.OrdinalIgnoreCase * WI #1264 Review code for validation * WI #1265 Start CFG data structure implementation * WI #1267 Build CFG Graphs from a TypeCobol Program. WI #1267 Build CFG Graphs from a TypeCobol Program. WI #1267 Build CFG Graphs from a TypeCobol Program. WI #1267 Build CFG Graphs from a TypeCobol Program. WI #1267 Build CFG Graphs from a TypeCobol Program. WI #1267 Build CFG Graphs from a TypeCobol Program. WI #1267 Build CFG Graphs from a TypeCobol Program. WI #1267 Build CFG Graphs from a TypeCobol Program. * WI #1268 Generate the .dot file of a CFG graph. WI #1268 Generate the .dot file of a CFG graph. WI #1268 Generate the .dot file of a CFG graph. WI #1268 Generate the .dot file of a CFG graph. WI #1268 Generate the .dot file of a CFG graph. WI #1268 Generate the .dot file of a CFG graph. WI #1268 Generate the .dot file of a CFG graph. * WI #1269 Test CFG dot graphs and visualization. WI #1269 Test CFG dot graphs and visualization. WI #1269 Test CFG dot graphs and visualization. WI #1269 Test CFG dot graphs and visualization. WI #1269 Test CFG dot graphs and visualization. WI #1269 Test CFG dot graphs and visualization. WI #1269 Test CFG dot graphs and visualization. WI #1269 Test CFG dot graphs and visualization. WI #1269 Test CFG dot graphs and visualization. WI #1269 Test CFG dot graphs and visualization. WI #1269 Test CFG dot graphs and visualization. * WI #1269 Test CFG dot graphs and visualization. * WI #1267 Build CFG Graphs from a TypeCobol Program. * WI #1269 Test CFG dot graphs and visualization. * WI #1260 Replace any record word by group * WI #1260 Minor validation changes * WI #1267 Build CFG Graphs from a TypeCobol Program. * WI #1267 Build CFG Graphs from a TypeCobol Program. * WI #1267 Build CFG Graphs from a TypeCobol Program. Better handling IF, EVALUATE and PERFORM loop * WI #1268 Generate the .dot file of a CFG graph. Better generating PERFORM procedure blocks. * WI #1269 Test CFG dot graphs and visualization. * WI #1267 Build CFG Graphs from a TypeCobol Program. Better handling SEARCH instruction in cascade * WI #1269 Test CFG dot graphs and visualization. * WI #1260 validation changes - Correct typos. - Always associate a Symbol to its target AST Node. * WI #1267 Build CFG Graphs from a TypeCobol Program. Inverse CFG and predecessor edges setup. * WI #1268 Generate the .dot file of a CFG graph. Generate Inverse CFG using predecessor edges. * WI #1260 Minor validation changes * WI #1269 Test CFG dot graphs and visualization. Generate Inverse CFG using predecessor edge. * WI #1270 Add BitSet data structure * WI #1270 Add Data structures for DFA * WI #1391 Handle GS visibility in ResolveReference method * WI #1264 Make Date and Currency type as TYPEDEF. * WI #1270 Add Use and Def point structures. * WI #1272 Apply Use and Def list calculation algorithm. * WI #1276 Add primary tests build UseList and DefList * WI #1272 Apply Gen set calculation algorithm. * WI #1276 Add primary tests build GEN set. * WI #1276 Add primary tests build GEN set. * WI #1272 Apply KILL set calculation algorithm. * WI #1276 Add primary tests build KILL set. * WI #1272 Apply IN OUT sets calculation algorithm. * WI #1276 Add primary tests build IN-OUT sets. * WI #1276 Add primary tests build IN-OUT sets. * WI #1272 Apply USE-DEF set calculation algorithm. * WI #1276 Add primary tests build USE-DEF set. * WI #1267 Build CFG Graphs from a TypeCobol Program. Introduce CFG Modes * WI #1267 Build CFG Graphs from a TypeCobol Program. Basic Block Group grafting for DFA. * WI #1269 Test CFG dot graphs and visualization. * Merge with DataflowDomain branch. * WI #1269 Test CFG dot graphs and visualization. * WI #1272 Predecessor calculation based on a root block. * WI #1276 Start testing on real programs CFG and DFA. * WI #1276 Bad Test cleaning * WI #1272 Detect CFG BasicBlockForNodeGroup recursivity. * WI #1272 Testing CFG BasicBlockForNodeGroup recursivity. * WI #1275 Start Implement ZCall pgm report using DFA * WI #1276 Start finalize CFG/DFA tests * WI #1275 ZCall pgm report using DFA with SET statement. * WI #1260 Fix tests according to new visibility rules * WI #1260 Start reintegrating ignored tests in SemanticDomain * WI #1309 Validation updates. * WI #1260 make expander goes thru redefines variables. * WI #1264 support local visibility and explicitly private. * WI #1264 SymbolTypeResolver for procedure and local storage. * WI #1264 Implement Function resolving and visibility checking. * WI #1264 Remove unused code. * WI #1264 Normalize an expandable symbol before its expansion. * WI #1309 Make same Codegen tests for Semantic domain. * WI #1276 Add CLI tests for zcall pgm modules report. * WI #1264 Change Typedef owner to the closest Program * WI #1309 Make CheckParserTcblPrograms test pass DOMAIN_CHECKER * WI #1309 add missing file * WI #1264 Code simplification * WI #1270 remove unused type parameter.
mayanje
added a commit
that referenced
this issue
Oct 11, 2019
mayanje
added a commit
that referenced
this issue
Oct 14, 2019
fm-117
added a commit
that referenced
this issue
Aug 25, 2020
fm-117
added a commit
that referenced
this issue
Aug 26, 2020
fm-117
added a commit
that referenced
this issue
Aug 26, 2020
fm-117
added a commit
that referenced
this issue
Dec 2, 2020
fm-117
added a commit
that referenced
this issue
Dec 14, 2020
fm-117
added a commit
that referenced
this issue
Dec 16, 2020
|
Fixed by #1824 |
Merged
mayanje
added a commit
that referenced
this issue
Jan 29, 2021
* WI #1357 Use hand-coded algorithm instead of regex to parse picture string * WI #1260 Add unit test for GlobalStorage visibility * Update develop with missing commits from master * Issue #1185, add missing target detection * Issue #1195, fix generate report if there is a warning * Issue #1195, use appropriate property * Issue #1243 Remove diagnostic: first char after continuation line should be a quotation mark * WI #1243 Add parser test * Issue #1244 Fix false positive if token is replaced * WI #1363 Accept -glm option but do nothing with it * WI #1385 Avoid NullReferenceException when completing a DEPENDING ON clause Co-authored-by: Mayan Jean <[email protected]> Co-authored-by: maxime645 <[email protected]> Co-authored-by: fm-117 <[email protected]> * WI #1627 Align csproj configuration properties and make use of Common.props * WI #1262 Create Symbol and Type base classes (#1638) Co-authored-by: Olivier Smedile <[email protected]> * WI #1667 Update all NuGet dependencies and target .NET Framework 4.7 * WI #1667 Remove unused compilation configurations EI_Debug_Net40 and EI_Release_Net40 * WI #1667 Remove unused references * WI #1667 Update to target framework 4.7 * WI #1667 Downgrade to language version C# 7.2 * WI #1667 Update to latest version all NuGet dependencies * WI #1667 Fix duplicate Elastic/NLog references * WI #1667 Fix compatiblity issues with dependent NuGets not targeting latest Newtonsoft version * WI #1667 Fix JSON generated documentation according to new DataContractJsonSerializer results * WI #1667 Update TypeCobol.* packages and Newtonsoft * WI #1667 Revert to LangVersion 7.3 * WI #1679 Remove unused Moq dependency * WI #1679 Remove unused dependency Castle.Core * WI #1679 Remove -s|skeletons option WI #1679 Update -s option deprecation message * WI #1679 Remove unused Razor dependency WI #1679 Remove references to .nuget folder in csprojs * WI #1704 Disable codegen on EI-specific tests * WI #1704 Remove unused condition Fix after commit 9cefd7f * WI #1704 Force codegen to false for EITests * WI #1704 Adapt result file format to match current ExpectedResults * WI #1133 Update GlobalStorage test with new Semantic errors * Merge 1.4.3 into develop => remove skeletons reference * WI #1721 Remove unused PassingDirection from CallTargetParameter * WI #1721 Add Semantic Domain objects * WI #1721 Activate symbols/types building in ProgramClassParserStep * WI #1721 Use Semantic Domain during CrossCheck - Paragraph/Section resolution - Populate StorageArea to VariableSymbols dictionaries * WI #1721 Add SYM comparator and SYM files for selected tests * WI 960 ForbidSyncClauseWithStrictType (#1733) * WI 960 ForbidSyncClauseWithStrictType -> rebase of #1729 * WI Forbid Sync clause with Strict Type #2 * WI 960 Forbid sync clause with strict type : rebase ProgramSymbolTableBuilder.cs from develop * WI 1710 Check duplicate paragraph names with semantic data owner (#1736) * WI 1710 Check duplicate paragraph names with semantic data owner * WI #1710 Handle qualified name for paragraph resolution * WI #1710 Handle paragraph resolution * WI #1710 Handle section and paragraph declared with same name * WI #1710 Change node type evaluation for better performance * WI #1710 Corrections on code * WI #1710 Move section node resolution algorithm into SymbolTable * WI #1710 Remove unnecessary check on paragraphs * WI #1710 Turn 'paragraph declared with a section name' into a Warning * WI #1710 Avoid duplicate check for section and paragraphs having the same name Co-authored-by: fm-117 <[email protected]> * WI #1766 changing internal to public. (#1767) Co-authored-by: mayanje <[email protected]> * WI #1772 Upgrade NLog to v4.7.2 (#1775) * WI #1780 Replace all placeholders in partial word replace operations (#1781) * WI #1778 Fix numeric literal detection in scanner after THROUGH/THRU keyword (#1779) * WI #1782 Allow "VALUE ARE"/"VALUES IS" in data condition value clauses (#1784) * WI #1782 Allow "VALUE ARE" and "VALUES IS" syntaxes in data condition value clauses * WI #1782 Extend test data with standard cases * WI #1800 Disable CodeAnalysis for Debug-like configurations (#1801) * WI #1103 Improve REMARKS directive parsing (#1804) * WI #1103 Improve REMARKS directive parsing * WI #1103 Trim trailing spaces only * WI #1267 Implement CFG, add analyzer concept * WI #1260 Integrate CFG builder as a new analyzer * WI #1269 Add CFG tests * WI #1777 Add support for comments mixed with continuation lines * WI #1777 Include comments in continuation line groups in non-incremental mode * WI #1777 Add LSR test for error reporting on continued lines * WI #1777 Fix final ScanState for continuation line group * WI #1789 Allow modification on input indices in procedures (#1793) * WI #1785 Allow leading and/or trailing spaces in REPLACE placeholders (#1792) * WI #1785 Allow leading and/or trailing spaces in REPLACE placeholders * WI #1785 Add multiple spaces test case * WI #457, #1671, #1791 Fix token attribution algorithm for continuation lines * WI #1777 Include comments in continuation line groups in non-incremental mode * WI #1777 Add LSR test for error reporting on continued lines * WI #1777 Fix final ScanState for continuation line group * WI #1791 Keep trailing spaces in literals from continued lines * WI #457 Update MultiLines.cbl test * WI #1791 #457 #1671 Rewrite token attribution algorithm for continuation lines * WI #1791 Add unit test * WI #457 Move SubscriptAndMultiLines test into regular test folder * WI #1671 Add unit test * WI #1671 Improve readability of SplitToken local function * WI #1791 Update unit tests * WI #1811 Avoid null indirection (#1817) Co-authored-by: mayanje <[email protected]> * WI #1622 Add unhandled exception handler. (#1812) * WI #1622 Add unhandled exception handler. * WI #1622 Enforce with AppDomain and add destructor Co-authored-by: mayanje <[email protected]> * 1752 handle copy replacing with 4colon ol (#1794) * WI #1752 Implementation based on Partial Cobol Word * WI #1752 removing trace code. * #WI 1752 remove duplicate copy file. * WI #1252 Moving test files * WI #1752 Handle diagnostic one-char pseudo-text * WI #1752 Review changes * WI #1752 Review Changes * WI #1752 Validation changes * WI #1752 validation changes * WI #1752 Review Changes * WI #1752 Moving tests * WI #1752 Remove return on continuation call: ApplyRemainingReplaces. * WI #1752 move and remove some tests * WI #1752 Change MDVZOSM to DVZOSM * WI #1752 Remove spaces Co-authored-by: mayanje <[email protected]> * WI #1272 Implement Data Flow Analysis * WI #1274 Add DFA tests * WI #1275 Implement CALL targets detection using DFA * WI #1746 Support EXEC SQL statements inside a data definition (#1821) * WI #1192 #1724 Attach RENAMES to nearest level-01 (#1823) * WI #1192 #1724 Attach RENAMES to nearest level-01 * WI #1724 Add RENAMES for a whole group in test * WI #1120 Allow special registers in subscripts (#1843) * WI #321 Add unit test for EXEC SQL INCLUDE on multiple lines (#1842) * WI #321 Add unit test for EXEC SQL INCLUDE on multiple lines * WI #321 Add unit test with full parsing * WI #1816 Introduce new QualityCheck compilation step * WI #1825 Add support for external code analyzers * WI #1837 Add Violation class for quality analyzers * WI #1676 Allow empty IF/ELSE constructs in Cup grammar (#1719) * WI #1676 Allow empty IF/ELSE constructs in Cup grammar * WI #1676 Check that parent is IF statement when visiting Then Node * WI #1748 Check nature of separator after *CBL/*CONTROL keyword (#1840) * WI #428 Rescanning Replaced Tokens. (#1798) * WI #428 Rescanning Replaced Tokens. * WI #428 fix for #599 * WI #428 Review Changes * WI #428 Review changes * WI #428 Clean up test and move code * WI #428 Moving IsScanStateDependent in MultilineScanState * WI #428 Code optimization * WI #1200 Save SYNC alignment into a SyntaxProperty (#1841) * WI #1200 Save SYNC alignment into a SyntaxProperty * WI #1200 Improve diagnostic message with Sync alignment * WI #1200 Fix sync param vs sync argument combinations in unit test * WI #1837 Fix initial loading of predefined DiagnosticMessages * WI #1808 Include missing copys from all levels * WI #428 Handle token scan state dependent in DataDivision. (#1857) * WI #428 Handle token scan state dependent in DataDivision. * WI #428 review Changes * WI #428 Review changes * WI #428 Review changes * WI #1851 Update Perfs Test source code. (#1859) * WI #1851 Update Perfs Test source code. * WI #1851 Using Ignore en main class. * WI #1852 Avoid exception in DataDescriptionChecker on multiple VALUE clause contexts (#1856) * WI #1834 Target .NET framework 4.7.2 (#1850) * Revert "WI #1834 Target .NET framework 4.7.2 (#1850)" (#1866) This reverts commit b4489ba. * WI #1845 Add .xmldiag format for error output in CLI (#1862) * WI #1864 Add peformance test with CFG/DFA (#1867) * WI #1864 Add perormance test with CFG/DFA * WI #1864 Remove AntlrPerformanceProfiler test * WI #1864 Rename parseDocument * WI #1864 Adapt performance test for Incremental with cfg/dfa. * WI #1864 Review Changes * WI #1869 Remove IASTAnalyzer, use QualityAnalyzer concept instead Co-authored-by: fm-117 <[email protected]> Co-authored-by: Olivier Smedile <[email protected]> Co-authored-by: maxime645 <[email protected]> Co-authored-by: rooksdo <[email protected]> Co-authored-by: rooksdo <[email protected]> Co-authored-by: fm-117 <[email protected]>
Merged
mayanje
pushed a commit
that referenced
this issue
Feb 23, 2021
mayanje
pushed a commit
that referenced
this issue
Feb 23, 2021
mayanje
added a commit
that referenced
this issue
Feb 23, 2021
* WI #1260 Integrate Control Flow Graph * WI #1260 Clean up csproj files for CFG-related projects * WI #1260 Remove unused members * WI #1260 Use Container directly instead of a Dictionary * WI #1260 Use all tests * WI #1260 Use separate cs files for builder components * WI #1260 Fix typos in comments * WI #1267 Fixing nested builder properties from parent * WI #1260 CurrentBlock renamed to OriginBlock in contexts * WI #1260 Type strongly contextual data of multi-branch context * WI #1260 Remove some useless code * WI #1260 Use HashSet instead of Dictionary to improve readability and keep performance * WI #1260 Rename test methods to match file names * WI #1269 Factorize test code * WI #1269 Remove unused Nist results * WI #1269 Match solution build configurations with project build configurations * WI #1269 Change test data to minimize warnings * WI #1269 Fix typo in test data * WI #1269 Compare diagnostics produced during tests * WI #1269 Move test results into input directory to keep all files in one place * WI #1267 Add new classes for Section/Paragraph/Sentence * WI #1627 Avoid using symbols in CFG builder * WI #1267 Rename ProcedureDivisionPartition to ProcedureDivisionRegion * WI #1267 Add analyzer classes and interfaces * WI #1267 Rename NodeListener to INodeListener * WI #1267 Make NodeDispatcher static * WI #1267 Remove AbstractReport class * WI #1267 Merge INodeListener into IProgramClassBuilderNodeListener * WI #1267 Add CfgBuildingMode option * WI #1267 Make analyzer provider flow through compilation objects * WI #1267 Add analyzer results * WI #1267 Use single section/paragraph resolution mechanism for both CFG and CrossChecker * WI #1267 Remove unused error messages * WI #1267 Add parent/children relationships directly on graph object * WI #1267 Simplify CFG builder construction * WI #1267 Add missing statements in Enter/Exit/IsStatement * WI #1267 Use single root block in CFG instead of multiple roots * WI #1627 Remove CfgMode enum * WI #1267 Collect graphs and diagnostics into a single builder * WI #1267 Avoid exposing internal builders used by root builder * WI #1267 Finalize integration of CFG/DFA as an analyzer * WI #1267 Improve diagnostic message for out-of-bounds PERFORMs * WI #1267 #1448 Add unit test for procedure declaration order check in PERFORM THRU. * WI #1267 Add unit test for wrong ALTERs * WI #1267 Fix PERFORM THRU sentence resolution mechanism * WI #1267 Force block cloning in all PERFORM groups * WI #1267 Add more PERFORM THRU tests * WI #1267 Use Warning instead of Error for premature PERFORM exit * WI #1750 Add DFA support * WI #1267 Add tests for more exception conditions * WI #1267 Check MultiBranchContext status on node exit * WI #1269 Use source directory to allow autoreplace in tests * WI #1267 Handle mutually exclusive exception conditions * WI #1750 Minor changes * WI #1750 Remove StorageArea visitor, use node dictionaries instead * WI #1750 Code cleanup * WI #1275 Add ValueOrigin class to compute possible value paths of a Variable * WI #1275 Adapt comment for ValueOrigin.ComputeFrom method * WI #1275 Improve path description for condition variables * WI #1272 Optimize predecessors lists building * WI #1267 Fix iterative and recursive PERFORMs graph building * WI #1267 Add tests for Extended graph building mode * WI #1750 Add BitSet Xor unit test * WI #1750 Swap actual and expected for BitSet tests * WI #1766 changing internal to public. * WI #1268 Avoid duplicate outgoing edges in recursive graphs Ported from original commit 2c91f8a * WI #1267 Fix recursion detection Ported from original commit dae672f * WI #1267 Remove unused Explicit CFG building mode * WI #1268 Avoid generating empty subgraphs in dot files * WI #1268 Avoid PERFORM blocks relocation inside subgraphs * WI #1750 Use proper analyzer identifier in CLI * WI #1750 Make all inheritors of SetStatement public (+ minor style changes) * WI #1750 Use VariableSymbol instead of Symbol for DFA variables description * WI #1750 Handle uninitialized variables in AsPaths method * WI #1750 Use standard .NET framework convention for UsePoint/DefPoint events * WI #1750 Restrict UsePoint/DefPoint property setters visbility * WI #1750 Only use ZcallPgmReport dfa implementation. * WI #1750 remove RawCfgBuildingMode * WI #1275 Fix bug in ValueOrigin.ComputeFrom method * WI #1750 Change info diagnostic declaration * WI #1818 Implements CgDfa notification. * WI #1818 Use FullInstruction by default * WI #1818 Add LSR CfgDfaParams test * WI #1818 LSP Position are zero based. * WI #1818 Change review * WI #1818 Handle -ol and -cfg via config.json LSRTests. * WI #1818 Change review. * WI #1818 Enforce robustness * WI #1818 Change review * WI #1818 Chnage Review * WI #1818 Add cfg AsFile and AsContent option. * WI #1818 Change Review Co-authored-by: fm-117 <[email protected]> Co-authored-by: fm-117 <[email protected]> Co-authored-by: Olivier Smedile <[email protected]>
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment
No description provided.
The text was updated successfully, but these errors were encountered: