Sökning: "heap"

Visar resultat 1 - 5 av 52 uppsatser innehållade ordet heap.

1. 1. Front-end of a Debugger for Compiled Programs in Haskell

   Kandidat-uppsats, Göteborgs universitet/Institutionen för data- och informationsteknik

   Författare :Andreas Olsson; Carl Bergman; Brage Salhus Bunk; Elias Johansson; Krešimir Popovic; [2023-03-03]
   Nyckelord :Haskell; debugger; debug; heap; lazy evaluation; functional programming; GHC;

   Sammanfattning : There are debugging tools available for Haskell programs today, but despite providing help for developers, these tools are not widely used in the Haskell community. Current debugging tools for Haskell have different kinds of limitations. This thesis will discuss the implementation of a new debugger with a graphical interface. LÄS MER

3. 2. Amplifying heap overflow vulnerability detection with reinforcement learning

   Uppsats för yrkesexamina på avancerad nivå, Blekinge Tekniska Högskola/Institutionen för datavetenskap

   Författare :Erik Thomasson; Ludwig Wideskär; [2023]
   Nyckelord :;

   Sammanfattning : The extensive development of cyberspace and the increasing potential for cybersecu-rity vulnerabilities demand the constant production of improved methods for detect-ing and mitigating vulnerabilities in software. In a perfect world, there would be atool that detects and mitigates all types of vulnerabilities in all types of software, butunfortunately, that is not the reality. LÄS MER

4. 3. Automated Inference of ACSL Contracts for Programs with Heaps

   Master-uppsats, KTH/Skolan för elektroteknik och datavetenskap (EECS)

   Författare :Oskar Söderberg; [2023]
   Nyckelord :Formal Verification; Contract Inference; Model Checking; Deductive Verification; Theory of Heaps; ACSL; Translation; Formell Verifiering; Kontrakth¨arledning; Modellprovning; Deduktiv Verifiering; Theory of Heaps; ACSL; Overs¨attning;

   Sammanfattning : Contract inference consists in automatically computing contracts that formally describe the behaviour of program functions. Contracts are used in deductive verification, which is a method for verifying whether a system behaves according to a provided specification. The Saida plugin in Frama-C is a contract inference tool for C code. LÄS MER

5. 4. Throughput Analysis of Safepoint-attached Barriers in a Low-latency Garbage Collector : Analysis of a Compiler Optimization in the HotSpot JVM

   Master-uppsats, KTH/Skolan för elektroteknik och datavetenskap (EECS)

   Författare :Filip Wilén; [2023]
   Nyckelord :Garbage Collection; Compiler; Java; JVM; Concurrency; Benchmarking; Skräpsamlare; Kompilatorer; Java; JVM; Multitrådat; Benchmarking;

   Sammanfattning : When using managed programming languages, there is an essential benefit in having a fast and efficient compiler and garbage collector; one garbage collector currently under development is the HotSpot low-latency concurrent Generational Z Garbage Collector. Concurrent memory management runs application threads and garbage collection threads simultaneously. LÄS MER

7. 5. Analysis and Evaluation of Performance in a Complex Software System

   Uppsats för yrkesexamina på avancerad nivå, Luleå tekniska universitet/Institutionen för system- och rymdteknik

   Författare :Caroline Kero; [2022]
   Nyckelord :Distributed real-time system; Java; Java application; Java VisualVM; Performance evaluation; Performance measurement;

   Sammanfattning : GlobalEye is an aircraft by Saab that provides surveillance of air, sea, and land. In order to train on the system present in this aircraft a Mission Training System, MTS, is used. The MTS consists of the Command and Control, C2, system that is present in the aircraft as well as a scenario simulator. LÄS MER