Sökning: "Control Flow Graphs"
Visar resultat 1 - 5 av 12 uppsatser innehållade orden Control Flow Graphs.
1. INCREASING COMPLETENESS OF ANDROID BINARY CFGS IN ANGR
Kandidat-uppsats, Umeå universitet/Institutionen för datavetenskapSammanfattning : Control Flow Graphs are widely used for static binary analysis today but their completeness is often lacking. The main problem when recovering Control Flow Graphs from binaries is indirect jump recovery where target addresses are stored in a register or memory. LÄS MER
2. The combination of SFDI with a mathematical model links perturbation in microcirculation to early stages of sepsis
Master-uppsats, Linköpings universitet/Institutionen för medicinsk teknikSammanfattning : The microcirculation system is crucial for the function of delivering biological markers such as oxygen and removing carbon dioxide from all the cells forming the complex ma- trix of tissue in the body. To keep up with the demands of each and every cell, there is a response from the microvasculature - resulting from for instance changes in blood flow to the tissue area. LÄS MER
3. Avrinningskoefficienten – dess relation till regnintensitet och bidragskoefficienten utifrån fallstudier i södra Sverige
Master-uppsats, Lunds universitet/Kemiteknik (CI)Sammanfattning : In order to increase the knowledge regarding how the runoff coefficient varies with increased rainfall intensity, a literature study and calculations in Excel were conducted. The background to how the tabled values of the runoff coefficient have been determined was found to be a book based on an assembly of answers to a survey collected from different companies in USA. LÄS MER
4. Machine Learning for Metamorphic Testing
Master-uppsats, KTH/Skolan för elektroteknik och datavetenskap (EECS)Sammanfattning : Test oracle is a mechanism used to validate all the functionalities ofsoftware under test. However, the lack of test oracle makes the processof software testing difficult. Metamorphic testing is a state of artapproach for automated software testing without test oracles basedon metamorphic relations. LÄS MER
5. Survey of Modelling Formalisms for MISRA-C:1998 Software Architecture Modelling
Master-uppsats, KTH/Maskinkonstruktion (Inst.)Sammanfattning : The complexity of electrical and electronic automotivesystems have increased steadily over the previous decades, with modern vehicles containing as many as 50-70 Elec-tronic Control Units, and several CAN-communication net-works. In order to address the increasing complexity of these safety-critical embedded systems, safety standards such as ISO 26262 are making their way to the market, posing strong restrictions on the development process of automotive systems in order to ensure safety. LÄS MER