Sökning: "concurrent static analysis"

Hittade 5 uppsatser innehållade orden concurrent static analysis.

  1. 1. Lightweight Software Isolation via Flow-Sensitive Capabilities in Scala

    Master-uppsats, KTH/Skolan för datavetenskap och kommunikation (CSC)

    Författare :Erik Reimers; [2017]
    Nyckelord :Scala; LaCasa; flow-sensitive; aliasing;

    Sammanfattning : Aliasing is a potential source of problems in software development and can, for example,lead to data races in concurrent programs. More recent programming languages includealiasing control in order to catch more errors at compile time. However, this does notexist for most widely-used languages.LaCasa introduces aliasing control to Scala. LÄS MER

  3. 2. Fast and Scalable Static Analysis using Deterministic Concurrency

    Master-uppsats, KTH/Skolan för datavetenskap och kommunikation (CSC)

    Författare :Patrik Ackland; [2017]
    Nyckelord :concurrent static analysis; ifds algorithm; reactive async;

    Sammanfattning : This thesis presents an algorithm for solving a subset of static analysis data flow problems known as Interprocedural Finite Distribute Subset problems. The algorithm, called IFDS-RA, is an implementation of the IFDS algorithm which is an algorithm for solving such problems. LÄS MER

  4. 3. Algorithmic Analysis of Name-Bounded Programs : From Java programs to Petri Nets via π-calculus

    Master-uppsats, Blekinge Tekniska Högskola/Institutionen för programvaruteknik

    Författare :Matteo Settenvini; [2014]
    Nyckelord :pi-calculus; static verification; static analysis; concurrency; petri nets; name boundedness;

    Sammanfattning : Context. Name-bounded analysis is a type of static analysis that allows us to take a concurrent program, abstract away from it, and check for some interesting properties, such as deadlock-freedom, or watching the propagation of variables across different components or layers of the system. Objectives. LÄS MER

  5. 4. Automatic memory management system for automatic parallelization

    Kandidat-uppsats, Institutionen för datavetenskap, fysik och matematik, DFM

    Författare :Erik Österlund; [2011]
    Nyckelord :;

    Sammanfattning : With Moore’s law coming to an end and the era of multiprocessor chips emerging, the need for ways of dealing with the essential problems with concurrency is becoming imminent. Automatic parallelization for imperative languages and pure functions in functional programming languages all try to prove independence statically. LÄS MER

  7. 5. Concurrent Software Testing : A Systematic Review and an Evaluation of Static Analysis Tools

    Master-uppsats, Blekinge Tekniska Högskola/Sektionen för datavetenskap och kommunikation

    Författare :Md. Abdullah Al Mamun; Aklima Khanam; [2009]
    Nyckelord :Systematic review; concurrent software testing; testing techniques and tools; test case generation; benchmark; static analysis tools; concurrency bugs; bug patterns;

    Sammanfattning : Verification and validation is one of the most important concerns in the area of software engineering towards more reliable software development. Hence it is important to overcome the challenges of testing concurrent programs. The extensive use of concurrent systems warrants more attention to the concurrent software testing. LÄS MER