Semantic characterisation of dead control-flow paths | Zendy

Ian J. Hayes | Zendy; Colin Fidge | Zendy; Karl Lermer | Zendy

AI Assistant Blog Pricing

Home ZAIA Blog

Open Access

Semantic characterisation of dead control-flow paths

Author(s) -

Ian J. Hayes,

Colin Fidge,

Karl Lermer

Publication year - 2001

Publication title -

iee proceedings - software

Language(s) - English

Resource type - Journals

eISSN - 1463-9831

pISSN - 1462-5970

DOI - 10.1049/ip-sen:20010834

Subject(s) - control flow , computer science , identification (biology) , semantics (computer science) , path (computing) , programming language , data flow analysis , flow (mathematics) , flow control (data) , data flow diagram , mathematics , database , computer network , botany , geometry , biology

Many program verification, testing and performance prediction techniques rely on analysis of statically-identified control-flow paths. However, some such paths may be 'dead' because they can never be followed at run time, and should therefore be excluded from analysis. It is shown how the formal semantics of those statements comprising a path provides a sound theoretical foundation for identification of dead path

The content you want is available to Zendy users.

Already have an account? Click here to sign in.

Having issues? You can contact us here

Accelerating Research