Sökning: "Static Code Analysis"

Visar resultat 1 - 5 av 119 uppsatser innehållade orden Static Code Analysis.

1. 1. UCov : A Static Analysis Tool for API Usage Coverage Validation

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

   Författare :Thomas Couturou; [2023]
   Nyckelord :Compatibility coverage; Static analysis; API; Usage pattern; Breaking changes; Kompatibilitetstäckning; Statisk analys; API; Användningsmönster; Förändringar;

   Sammanfattning : Nowadays, all software projects are based on a large number of libraries, so they do not have to start from scratch. These libraries evolve over time, whether to add functionality or to simplify their use. These updates are necessary to improve their libraries, but can lead to errors in their clients’ code. LÄS MER

3. 2. The impacts of code structure analysis, powered by the language model FastText

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

   Författare :Gabriel Ivarsson; Noah Håkansson; [2023]
   Nyckelord :Code structure; GoLang; language models;

   Sammanfattning : The goal of this study was to investigate how the use of language models in the context of code structure analysis could impact how developers manage code structure. To do this, a prototype tool GOSPLAT (GoLang Static Package Language-model Analysis Tool) was created. LÄS MER

4. 3. Investigating programming language support for fault-tolerance

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

   Författare :Ismail Demirkoparan; [2023]
   Nyckelord :Dataflow; Fault tolerance; Data streaming; Distributed systems; Checkpointing; Logging; Lineage; Lineage stash; Arc-Lang; Apache Flink;

   Sammanfattning : Dataflow systems have become the norm for developing data-intensive computing applications. These systems provide transparent scalability and fault tolerance. For fault tolerance, many dataflow-system adopt a snapshotting approach which persists the state of an operator once it has received a snapshot marker on all its input channels. LÄS MER

5. 4. Role Based Access Control (RBAC) in the context of Smart Grids : Implementing and Evaluating a Role Based Access Control System for Configuration Loading in a Substation from a Desktop

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

   Författare :Gatien Ducornaud; [2023]
   Nyckelord :Role Based Access Control RBAC ; Cybersecurity; Smart Grid; Substation; Desktop Applications; Contrôle d’accès basé sur les rôles RBAC ; Cybersécurité; Réseau électrique intelligent; Sous-Station; Application Desktop; Rollbaserad åtkomstkontroll RBAC ; Cybersäkerhet; Smarta nät; Transformatorstation; datorapplikation;

   Sammanfattning : Access control is a crucial aspect of cybersecurity, and Role Based Access Control (RBAC) is a typical framework for controlling the access to specific resources. However, in the context of Smart Grids, the usual authentication solution of using a trusted identity provider might not be possible to provide authentication of a user, as systems cannot rely on external services. LÄS MER

7. 5. Static Analysis Of Client-Side JavaScript Code To Detect Server-Side Business Logic Vulnerabilities

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

   Författare :Frederick van der Windt; [2023]
   Nyckelord :JavaScript; Static Analysis; Business Logic Vulnerabilities; Client-side; Fuzzing; Black-box; JavaScript; statisk analys; sårbarheter i affärslogiken; klientsidan; Fuzzing; Black-box;

   Sammanfattning : In the real world, web applications are crucial in various domains, from e-commerce to finance and healthcare. However, these applications are not immune to vulnerabilities, particularly in business logic. Detecting such vulnerabilities can be challenging due to the complexity and diversity of application functionality. LÄS MER