Search for dissertations about: "Static security analysis"
Showing result 1 - 5 of 26 swedish dissertations containing the words Static security analysis.
-
1. Declarative Specification of Intraprocedural Control-flow and Dataflow Analysis
Abstract : Static program analysis plays a crucial role in ensuring the quality and security of software applications by detecting and fixing bugs, and potential security vulnerabilities in the code. The use of declarative paradigms in dataflow analysis as part of static program analysis has become increasingly popular in recent years. READ MORE
-
2. Automated static code analysis : A tool for early vulnerability detection
Abstract : Software vulnerabilities are added into programs during its development. Architectural flaws are introduced during planning and design, while implementation faults are created during coding. Penetration testing is often used to detect these vulnerabilities. READ MORE
-
3. Tracking Information Flows in Interactive and Object-Oriented Programs
Abstract : This thesis improves the current state of the art on information-flow control of interactive and object-oriented programs, respectively. Given a policy which specifies which information flows are permitted in a program, the objective here is to ensure that only flows satisfying the policy can occur. READ MORE
-
4. Immigration, security and the public debate on US language policy : A critical discourse analysis of language attitudes in the United States of America
Abstract : The narrative of the United States is of a "nation of immigrants" in which the language shift patterns of earlier ethnolinguistic groups have tended towards linguistic assimilation through English. In recent years, however, changes in the demographic landscape and language maintenance by non-English speaking immigrants, particularly Hispanics, have been perceived as threats and have led to calls for an official English language policy. READ MORE
-
5. Improving Software Security by Preventing Known Vulnerabilities
Abstract : From originally being of little concern, security has become a crucial quality factor in modern software. The risk associated with software insecurity has increased dramatically with increased reliance on software and a growing number of threat agents. Nevertheless, developers still struggle with security. READ MORE