Searched for: subject%3A%22Static%255C+analysis%22
(1 - 20 of 47)

Pages

document
Bekooy, Mark (author)
Type annotations in Python are an integral part of static analysis. They can be used for code documentation, error detection and the development of cleaner architectures. By enhancing code quality, they contribute to the robustness, maintainability and comprehensibility of codebases. Tools like static type checkers use type annotations to detect...
master thesis 2024
document
Valiya Valappil, S. (author), Goosen, J.F.L. (author), Aragon, A.M. (author)
Ultrasonic flowmeters face unique challenges since, in addition to withstanding high fluid pressures, they have to avoid crosstalk, which is the interaction of the signals traveling through the fluid and the solid pipe. To avoid the crosstalk, which leads to poor accuracy or complete loss of the required signal, we develop a mounting...
journal article 2024
document
van Dinten, I. (author), Derakhshanfar, Pouria (author), Panichella, A. (author), Zaidman, A.E. (author)
Cyber-Physical Systems (CPSs) have gained traction in recent years. A major non-functional quality of CPS is performance since it affects both usability and security. This critical quality attribute depends on the specialized hardware, simulation engines, and environmental factors that characterize the system under analysis. While a large body...
journal article 2024
document
Pîrcălăboiu, Laura (author)
Docker has been one of the most widely used DevOps tools in the last decade, enabling fast development of personalized services. Indeed, the common practice is to reuse already available containers and customize them based on the developer's needs. DockerHub is the leading platform for uploading and downloading Docker containers. Unfortunately,...
master thesis 2023
document
feng, lang (author)
Type inference plays a pivotal role in modern software development as it aids in understanding code, detecting errors, and facilitating code completion. Two main approaches, static analysis, and machine learning, contribute to this process. Each approach has its own benefits and limitations. This thesis investigates the potential of combining...
master thesis 2023
document
Li, Jingyu (author)
Call graphs are useful tools for representing method relationships within software projects and correlations between dependencies. Although static analysis is a prevalent method for call graph construction, it has its limitations such as struggling with handling dynamic features and lambda expressions. In this research, we introduced an approach...
master thesis 2023
document
van Doormaal, Thijn (author)
The demand for offshore wind energy has never been higher, yet the number of ideal areas for wind farm installations is decreasing. As a result, larger wind turbines are being placed in deeper waters, which poses opportunities for floating foundations. However, due to the industry's inability to scale up the production of relatively expensive...
master thesis 2023
document
de Krieger, Max (author)
The front-end of a compiler reads the source program and performs analyses such as type checking. The goal of the front-end is to check for the presence of syntactic and semantic errors before the program is passed to the back-end of the compiler for tasks such as optimization and code generation.<br/><br/>WebDSL is a domain-specific language...
master thesis 2022
document
van den Ham, Pieter (author)
Computer architectures with weak memory models, such as ARMv8 and ARMv7, allow memory accesses to be reordered in many situations.<br/>Therefore, weak memory models may cause a program to exhibit more behavior than a strong memory model, such as x86.<br/>Fency is a static analysis tool that inserts memory fences to ensure that a program exhibits...
master thesis 2022
document
Chuang, Ching Chi (author)
Dependency management is an important task in software maintenance. However, identifying and removing unused dependencies takes a lot of effort from developers as existing tools may discover many false positives which are challenging to distinguish. This paper proposes a decision framework to improve unused dependency detection. It is applied to...
master thesis 2022
document
Jeong, Yoon Hwan (author)
In order to combat increasing spam calls, many applications are developed and downloaded to block those calls. Some studies about performance of the applications were previously conducted, however, the actual processes the applications go through to intercept and block the spam calls are not well studied. This research presents a method to...
bachelor thesis 2022
document
Busropan, Colin (author)
Spam calls are a widespread problem as people receive about 14 spam calls per month on average. In response, tens of applications are available in Google’s Play Store that aim to block these calls. While these apps have hundreds of millions of installations, there’s a lack of research into these applications. Research has been done on the user...
bachelor thesis 2022
document
Al Alsadi, Arwa (author), Sameshima, Kaichi (author), Bleier, Jakob (author), Yoshioka, Katsunari (author), Lindorfer, Martina (author), van Eeten, M.J.G. (author), Hernandez Ganan, C. (author)
The Internet of things (IoT) is composed by a wide variety of software and hardware components that inherently contain vulnerabilities. Previous research has shown that it takes only a few minutes from the moment an IoT device is connected to the Internet to the first infection attempts. Still, we know little about the evolution of exploit...
conference paper 2022
document
Van Oort, Bart (author), Cruz, Luis (author), Loni, Babak (author), van Deursen, A. (author)
Machine Learning (ML) projects incur novel challenges in their development and productionisation over traditional software applications, though established principles and best practices in ensuring the project's software quality still apply. While using static analysis to catch code smells has been shown to improve software quality attributes...
conference paper 2022
document
Andrade Borges, E.A. (author), Lantsoght, E.O.L. (author), Castellanos-Toro, Sebastián (author), Casas, Johannio Marulanda (author)
Progressive deterioration is a problem that affects road infrastructure, especially bridges. This requires the development of methods to determine its influence on structural behavior, one of them being load testing. Within load testing, finite element analysis (FEA) models are used as part of the preparation process. This study focused on the...
journal article 2022
document
Chuang, Ching-Chi (author), Cruz, Luis (author), van Dalen, Robbert (author), Mikovski, Vladimir (author), van Deursen, A. (author)
When developing and maintaining large software systems, a great deal of effort goes into dependency management. During the whole lifecycle of a software project, the set of dependencies keeps changing to accommodate the addition of new features or changes in the running environment. Package management tools are quite popular to automate this...
conference paper 2022
document
van Oort, Bart (author)
Artificial Intelligence (AI) and Machine Learning (ML) are pervasive in the current computer science landscape. Yet, there still exists a lack of Software Engineering (SE) experience and best practices in this field. One such best practice, static code analysis, can be used to find code smells, i.e., (potential) defects in the source code,...
master thesis 2021
document
Ion, Claudiu (author)
While SQL engines are now capable of detecting a large number of syntactic mistakes, most often semantic errors are not detected, which can lead to serious performance issues or even security vulnerabilities being introduced in the system. This thesis proposes a set of 25 validated heuristics together with a new rule-based static analysis tool...
master thesis 2021
document
Mir, S.A.M. (author), Latoskinas, Evaldas (author), Gousios, G. (author)
In this paper, we present ManyTypes4Py, a large Python dataset for machine learning (ML)-based type inference. The dataset contains a total of 5, 382 Python projects with more than 869K type annotations. Duplicate source code files were removed to eliminate the negative effect of the duplication bias. To facilitate training and evaluation of...
conference paper 2021
document
Beigelbeck, Aaron (author), Aniche, Maurício (author), Cito, Jürgen (author)
Detecting performance issues due to suboptimal code during the development process can be a daunting task, especially when it comes to localizing them after noticing performance degradation after deployment. Static analysis has the potential to provide early feedback on performance problems to developers without having to run profilers with...
conference paper 2021
Searched for: subject%3A%22Static%255C+analysis%22
(1 - 20 of 47)

Pages