NEW 2019-10 dataset - with program analysis features!

[Robert Dyer]

The new October 2019 dataset is now released!

This dataset contains the same data as the 2015-09 dataset, but includes many new language features such as:

• Support for advanced static analysis features, such as easily generating intra-procedural CFGs, CDGs, DDGs, and PDGs for methods and specifying graph traversal algorithms to analyze those graphs
• New support for Queue Types
• New support for Enum Types
• Improved support for Tuple Types
• 44 bugs fixed
• 33 other issues closed

For more documentation on the new program analysis features, see these pages:

• Graphs, graph traversals http://boa.cs.iastate.edu/docs/program-analysis.php
• Graph data types: http://boa.cs.iastate.edu/docs/dsl-types.php#CFG
• Graph functions: http://boa.cs.iastate.edu/docs/dsl-functions.php#Graph+Functions

For notes on the dataset see here: http://boa.cs.iastate.edu/boa/?q=content/dataset-notes-october-2019

Best Wishes,

- The Boa Team

[Carlos Eduardo Dantas]

Hi Robert. Does graphs ready?  I´m running an example and getting error status 

p: Project = input;

ids: output collection of string;

printNodes := traversal(n: CFGNode) {

    ids << n.name;

};

visit(p, visitor {

    before m: Method -> {

        cfg := getcfg(m);

        traverse(cfg, TraversalDirection.FORWARD, TraversalKind.DFS, printNodes);

    }

});

[Carlos Eduardo Dantas]

http://boa.cs.iastate.edu/boa/?q=boa/job/81693

Em sexta-feira, 11 de outubro de 2019 16:55:19 UTC-3, Robert Dyer escreveu:

[Robert Dyer]

Hi Carlos,

Very strange.  That looks like the query from the documentation page - and I definitely tried that query and it worked!

I re-submitted your job and ... now it works.  I am not sure what happened there!

Let me know if you see any other oddities like this happen.

- Robert

[Robert Dyer]

Ok very strange indeed. Now it compiled, but won't run.

I'll look into this a bit more.  Thanks for pointing it out!

- Robert

[Robert Dyer]

Hi Carlos,

I think it's all working now.  At least for your job, I resubmitted and now see output.

- Robert