English (United Kingdom)

https://curated-unify.zendy.io/wp-json/zendy-region/v1/featured_content/oa?rat=en

https://curated-unify.zendy.io/wp-json/zendy-region/v1/highlighted_journal/

Global: Zendy Plus annual

Presents the access of premium content as premium feature

Premium Content

Presents the keyphrase highlighting as premium feature

Keyphrase Highlighting

Presents the summarisation as premium feature

Summarisation

Insights

Presents the pdf analysis as premium feature

PDF Analysis

Presents the zaia usage as premium feature

ZAIA

Global: Zendy Plus monthly

Global: Zendy Tools annual

Global: Zendy Tools monthly

Global: Zendy Free Plan

Human written source code in imperative programming languages exhibitstypical patterns for variable use such as flags, loop iterators, counters,indices, bitvectors etc. Although it is widely understood by practitioners thatthese variable roles are important for automated software analysis tools, theyare not systematically studied by the formal methods community, and not welldocumented in the research literature. In this paper, we study the notion ofvariable roles on the example of basic types (int, float, char) in C. Wepropose a classification of the variables in a program by variable roles, anddemonstrate that classical data flow analysis lends itself naturally both as aspecification formalism and an analysis paradigm for this classificationproblem. We demonstrate the practical applicability of our method by predictingmembership of source files to the different categories of the softwareverification competition SVCOMP 2013.

On the Concept of Variable Roles and its Use in Software Analysis