Fine-grained classification of side-effect free methods in real-world Java code and applications to software security

    Research output: Chapter in Book/Conference paperConference paperpeer-review

    3 Citations (Scopus)

    Abstract

    Previous researchers have argued that method purity (absence of side-effects) in object-oriented languages allows code to be more easily reasoned about, with beneficial effects for software security. However, many different forms of purity have been proposed, which poses a challenge for verifying this idea empirically. Furthermore, previous purity analyses of code have provided only coarse-grained results. We propose a finer-grained classification of levels of method purity, and analyse a portion of real-world code to determine the prevalence of different levels.
    Original languageEnglish
    Title of host publicationProceedings of the Australasian Computer Science Week Multiconference
    EditorsTom Gedeon
    PublisherAssociation for Computing Machinery (ACM)
    Number of pages7
    Volume01-05-February-2016
    ISBN (Electronic)9781450340427
    ISBN (Print)9781450340427
    DOIs
    Publication statusPublished - 1 Feb 2016
    Event2016 Australasian Computer Science Week Multiconference - Canberra, Australia
    Duration: 1 Feb 20165 Feb 2016

    Publication series

    NameACM International Conference Proceeding Series
    Volume01-05-February-2016

    Conference

    Conference2016 Australasian Computer Science Week Multiconference
    Country/TerritoryAustralia
    CityCanberra
    Period1/02/165/02/16

    Fingerprint

    Dive into the research topics of 'Fine-grained classification of side-effect free methods in real-world Java code and applications to software security'. Together they form a unique fingerprint.

    Cite this