|
|
Analysis of C Programs with Dynamic Linked Data Structures
Šoková, Veronika ; Rogalewicz, Adam (referee) ; Vojnar, Tomáš (advisor)
This master's thesis deals with the analysis of dynamic linked data structures using shape analysis used in the Predator tool. It describes the chosen abstract domain for heap representation - symbolic memory graphs. It deals with the design of framework for the development of static analyzers based on Clang/LLVM. The main contribution is implementing and testing LLVM's transformation passes that simplify the LLVM IR. Second contribution is the optimization of parameters for parallel run of several variants of the Predator tool. Parameters are tuned for benchmark from SV-COMP'16, where our tool won gold medal in Heap Data Structures category. Last contribution is the design of verification core with the focus on the SMG domain.
|
|
|
Data Structure Visualization for Verification Tools
Holubec, Michael ; Lengál, Ondřej (referee) ; Peringer, Petr (advisor)
The aim of my bachelor thesis is an object-oriented design and implementation of a library which will provide a unified interface to a verification tool Predator and other tools for making a vizualization of data structures primarily for debuging purposes. This work analyses some qualities of the verification tool Predator, Forester and CPAchecker. The library offers not only a graphic but also a text-based output in DOT language. The result has been tested by connecting to the verification tool Predator.
|
|
|
Static Analyzer for List Manipulating Programs
Kotoun, Michal ; Lengál, Ondřej (referee) ; Vojnar, Tomáš (advisor)
Creating a software verification tool is a complex task -- one must implement source code parsing, instruction representation, value abstraction, user interface, ... and the analysis itself. Therefore, we decided to create a static analysis framework to prevent unnecessary wheel reinventing by an analyses implementers. We propose a general design of the framework called Angie with a primary focus on usability, and describe a prototype implementation of the framework, including a model analysis based on symbolic memory graphs. Angie is implemented in C++ and uses the LLVM toolchain as the front-end for parsing the source code of analysed programs.
|
|
|
Extension of the Code Listener Infrastructure Adding C++ Support
Kašpar, David ; Peringer, Petr (referee) ; Dudka, Kamil (advisor)
V této práci je popisováno rozšíření infrastruktury Code Listener, kterou lze použít pro tvorbu nástrojů pro statickou analýzu programů, o podporu zpracování programovacího jazyka C++. Řešení představuje rozšíření pluginu Code Listener bez nutnosti jakékoliv modifikace v již existujících statických analyzátorech, které jsou na této infrastruktuře postaveny. Výsledkem této práce je přidání podpory pro zpracování základních konstrukcí jazyka C++, jako například jmenných prostorů, L-hodnotových referencí nebo tříd.Přínosem této práce je možnost ji dále použít jako odrazový bod pro implementaci zbývající podpory jazyka C++ pro infrastrukturu Code Listener.
|
|
|
Škůdci hrachu při ekologickém a konvenčním pěstování
Matějková, Lucie
Occurrence of pests has been investigated in the district Vyškov on organically and conventionally grown pea in 2013. Monitoring of insects was carried from May to July using pheromone traps, sticky boards and check of plants. 13 590 individuals were determined on the organic, 6608 on the conventional plot. Acyrthosiphon pisum was the most numerous pest (10 811, 4335 individuals). Parasitism reached 67.5% on the organic plot. Other pests findings on organic and conventional plots were Aphis fabae (70, 88), Kakothrips robustus (1403, 316), Odontothrips confusus (251, 0), Autographa gamma (12, 12), Cecidomyidae (97, 191), Anthomyidae (0, 327). Other phytophagous species (350, 967), predators (159, 66), parasitoids (21, 7), decomposers (1, 17), pollinators (4, 2) and Cyclorrhapha of unknown significance (441, 280) were registered to organic and conventional plots.
|
|
| |
|
|
Aphidophagy among polyphagous predators
Valdecká, Miriam ; Řezáč, Milan (advisor) ; Dolejš, Petr (referee)
Aphids are among the most widespread insect pests in agroecosystems. So far, significant attention has been paid to their natural enemies, especially to specialized predators and parasitoids. There is less information about the influence of polyphagous predators, especially spiders and ground beetles. Therefore, the aim of this thesis is to summarize the knowledge about this topic. And focus on the advantages and disadvantages of aphidophagy in polyphagous predators. Key words: Aphid, aphidophagy, polyphagous, spider, carabid, predator
|
|
|
Aphidophagy among polyphagous predators
Valdecká, Miriam ; Řezáč, Milan (advisor) ; Dolejš, Petr (referee)
Aphids are among the most widespread insect pests in agroecosystems. So far, significant attention has been paid to their natural enemies, especially to specialized predators and parasitoids. There is less information about the influence of polyphagous predators, especially spiders and ground beetles. Therefore, the aim of this thesis is to summarize the knowledge about this topic. And focus on the advantages and disadvantages of aphidophagy in polyphagous predators. Key words: Aphid, aphidophagy, polyphagous, spider, carabid, predator
|
|
|
Use of macroorganisms and microorganisms in biological control of whiteflies
ŽÁKOVÁ, Erika
Whitefly is one of the most important greenhouse pests that can cause significant damage to crops. Whitefly suck juice from plants and produce honeydew which is sugar source for saprotrophic fungi called sooty mold. Fungi cover the leaves and reduce the leaf assimilation area. The most serious harm of whiteflies is attributed to transfer of many plant viruses. The most serious whiteflies commonly found in the greenhouses are Trialeurodes vaporariorum and Bemisia tabaci. For the control of whitefly populations, the seasonal inoculum strategy of biological control is used, with the aim of immediately overlapping the pest with the right choice of natural enemies. Biological control contributes to the control of whiteflies in the greenhouse, specifically the use of natural enemies based on macro-organisms and microorganisms. The macroorganisms include parasitoids and predators. The most important commercially used whitefly parasitoids are Encarsia formosa, Eretmocerus eremicus and E. mundus. Predators used in biological control against whitely is the predatory bug Macrolophus caliginosus, the predatory ladybug Delphastus catalinae and the predatory mite Amlyseius swirskii. Parasitic wasps are narrowly specialized in both whitefly species, while predators are polyphagous species that can feed on more pest species. Bioproducts based on entomopathogenic fungi are also used against whiteflies in the abroad. The most important species are Aschersonia aleyrodis, Isaria fumosorosea, Beauveria bassiana and Lecanicillim muscarium. For the effective use of these bioagents, it is important to have knowledges not only about pest, but also about interaction among pest - natural enemy - host plant. So it is important to perform quality monitoring of whiteflies in the greenhouse to make the use of natural enemies profitable.
|
|
|
Antipredatory function of aggregations in aposematic prey
Mitlenerová, Barbora ; Exnerová, Alice (advisor) ; Pipek, Pavel (referee)
Aggregation is a very important strategy of many organisms. It occurs in both vertebrates and invertebrates. Besides other functions (foraging, thermoregulation, maintenance of humidity protection against dessication, epigamic, hibernation or aestivation), aggregation also carries out antipredatory function. Aggregation of animals may reduce the risk of attacks by predators and prey mortality. Reduction of the attack probability might be caused by the predator confusion effect, lower risk of prey detectability, dilution effect, more effective vigilance of aggregation members and increase of strength of the warning signal produced by aposematic prey. Experimental studies, focused on the role of aposematic coloration in antipredatory functions use usually birds as predators. There are many kinds of insects, such as true bugs or mealworms, or artificial prey used as a prey in the experiments. The combination of aposematic signals and gregariousness of prey might have a significant influence on both probability and frequency of predator attacks. The length of predator's hesitation before the attack and the attack intensity used on attack may differ according to the coloration and presentation (gregariousness) of the prey and therefore the chance of survival varies. Aggregation may also improve...
|
guest ::
