|
|
High-Level Programming Language Transpilers
Mokriš, Andrej ; Havel, Martin (oponent) ; Meduna, Alexandr (vedoucí práce)
A rapid development of programming languages has caused practical problems, such as not granting backward compatibility. Transpilers offer a potential solution to some of these problems. This thesis presents concepts of formal languages, compilers, and more detailed description of parsing methods. The goal of this thesis is to design and implement a transpiler that converts a subset of PHP to JavaScript.
|
|
|
Development of YARA-X ecosystem
Ďuriš, Tomáš ; Křivka, Zbyněk (oponent) ; Regéciová, Dominika (vedoucí práce)
The aim of this work is to extend and create an unified ecosystem of tools for the YARA language. The focus is on incorporating modules that can gather information about the structure of executable files. Additionally, a module that can present obtained information to the user in multiple formats is also being proposed. An interactive environment has been created for evaluating YARA rules and enhancing the overall ecosystem by using an error-tolerant parsing algorithm. The proposed solution enables the seamless integration and utilization of existing tools while addressing the limitations of the original YARA ecosystem. The output of the work is an extended system with tools that facilitate the debugging of YARA rules, obtaining information from executable files, and visualizing them. The final solution has been thoroughly tested, utilized by analysts, and integrated into main YARA-X branch.
|
|
|
Applying formal methods to analysis of semantic differences between versions of software
Nečas, František ; Vojnar, Tomáš (oponent) ; Malík, Viktor (vedoucí práce)
The goal of this work is to propose an integration of formal methods into DiffKemp, a static analysis tool for analyzing semantic differences of large-scale C projects. The aim of this extension is to facilitate analysis of more complex code changes, which would typically be better handled by a tool based on formal methods, while also maintaining DiffKemp’s scalability to large projects. To achieve this, whenever a possible semantic change is found, the equivalence of the relevant instructions is encoded into an SMT problem instance and the difference is either confirmed or refuted using an SMT solver. The proposed solution has been implemented in DiffKemp and our experiments on a set of benchmarks called EqBench show that it extends the capabilities of DiffKemp, mainly with regards to sound analysis of refactorings of arithmetic expressions.
|
|
|
Určení spolehlivosti výsledků statické analýzy pomocí strojového učení
Beránek, Tomáš ; Fiedor, Jan (oponent) ; Vojnar, Tomáš (vedoucí práce)
The Meta Infer static analyzer is a tool for detecting various types of errors in source code. However, its results contain more than 95 % of false alarms. This thesis proposes a solution that ranks Infer’s reports using Graph Neural Networks (GNNs) based on the likelihood of being a real error, thus mitigating the issue with false alarms. The system consists of a training pipeline, which converts the D2A dataset – a set of labeled reports from Meta Infer – into Extended Code Property Graphs (ECPGs) and GNN models trained on these ECPGs. Experimental results indicate that the developed GNN models can match, and in some cases even surpass, existing models developed by strong industrial teams. Moreover, these existing solutions are closed source, making the solution developed in this thesis a promising open-source alternative.
|
|
|
Impact of AI Tools on Code Quality and Security
Vinarčík, Peter ; Holop, Patrik (oponent) ; Malinka, Kamil (vedoucí práce)
This work presents a newly developed application that is able to perform fully automated large-scale research for evaluating the safety and quality of AI-generated code. Also, a new way of evaluating the safety of AI-generated code has been presented, utilizing MITRE's methodology in combination with SAST tools performing static analysis on the code. In addition, the application is enhanced with an improved AI chatbot whose output is enhanced with the results of static analysis at generation time. The user inputs a dataset of prompts into the application, and if code with a vulnerability has been generated for a particular prompt, that vulnerability is scored by the established methodology, and the user is informed not only that the code is vulnerable, but how vulnerable it is. As part of the solution, large-scale, pilot testing of popular AIs, such as ChatGPT-4 or Gemini, is performed over a dataset of prompts using the new application, in contrast to existing studies. The results showed the dominance of ChatGPT-4 running on the GPT-4 model, over the other AIs tested.
|
|
|
Laboratorní úlohy k dynamické analýze kódu
Košina, Petr ; Přinosil, Jiří (oponent) ; Sysel, Petr (vedoucí práce)
Diplomová práce se zaměřuje na statickou a dynamickou analýzu v softwarovém inženýrství. Statická analýza je zkoumání zdrojového kódu bez jeho spuštění, zatímco dynamická analýza se soustředí na provádění kódu a testování jeho běhu. Práce zkoumá různé techniky a nástroje obou analýz, včetně jejich výhod a omezení. Obsahem práce je rovněž výzkum implementace metod dynamické analýzy kódu napříč operačnímy systémy. Důraz je kladen na porovnání obou metod a jejich aplikaci v reálném softwarovém prostředí. Konkrétně poskytuje praktické laboratorní úlohy, které mají studentům pomoci lépe pochopit problematiku dynamické analýzy.
|
|
|
Využití optimalizačních metod při navrhování strojních součástí
Kubrický, Daniel ; Pokorný, Přemysl (oponent) ; Zeizinger, Lukáš (vedoucí práce)
Tato bakalářská práce popisuje využití metod strukturální optimalizace při navrhování strojních součástí. V první části práce byl proveden popis současného stavu poznání procesu optimalizačních úloh společně s jeho teoretickými východisky. V druhé části práce byla vytvořena statická analýza a topologická optimalizace nebo Generativní design na příkladu vahadla v šesti komerčních software. V třetí části byly mezi sebou porovnány výsledné modely jednotlivých software a byly srovnány výsledky pomocí kritéria maximálního napětí von Mises a celkové deformace modelu. Na závěr této práce bylo provedeno vyhodnocení použití software pro strukturální optimalizaci.
|
|
|
Hledání tvaru skořepinových konstrukcí
Musil, Jiří ; Bažant, Zdeněk (oponent) ; Vítek,, Jan (oponent) ; Stráský, Jiří (vedoucí práce)
Tématem předkládané disertační práce je návrh betonových skořepinových konstrukcí se zaměřením na hledání jejich optimálního tvaru. Optimálním tvarem je tvar, při kterém, pro dané zatížení, obvykle vlastní tíhu, nevznikají v konstrukci žádná významná ohybová namáhání, konstrukce se nachází v tzv. membránovém stavu. Inspirací pro tuto práci je činnost švýcarského inženýra Heinze Islera, který vyvíjel tvary skořepinových konstrukcí pomocí modelových zkoušek vhodně zatížených, ohybově netuhých membrán. Na základě inverze výslednicového tvaru navrhoval skořepinové konstrukce o velkých rozpětích, které svoji tíhu přenášely téměř výhradně membránovými silami. V této práci je prezentováno numerické řešení výše zmíněných modelových zkoušek pomocí programu Midas Civil. Na příkladu průvěsu lana jsou demonstrovány základní principy metody. Numericky nalezené tvary jsou porovnány s analytickým řešením průvěsové křivky lana. Na základě numericky nalezených tvarů je následně navržena skořepina a je popsáno její namáhání při zatížení vlastní tíhou, zejména ve vztahu k membránovému působení. V další části jsou získané znalosti a postupy použity pro návrh tří relativně komplikovaných skořepinových konstrukcí. Každá konstrukce je staticky analyzována a je popsáno její statické působení. Studovány jsou konstrukce s dokonale tuhými, respektive pružnými podporami, které simulují reálné chování podpor. V závěru práce jsou výsledky statické analýzy vybrané skořepiny experimentálně ověřeny na fyzikálním modelu v měřítku 1:55,56. Model je vystavěn metodou 3D tisku. V práci je popsána použitá modelová podobnost, zdokumentován proces návrhu a výroby modelu a provedení vlastního experimentu. Uskutečněné zatěžovací zkoušky potvrdily optimální návrh skořepinové konstrukce a platnost numerické metody hledání jejich tvaru. Prezentované principy a postupy je možné, při dostatečné míře odpovídajících znalostí, použít v inženýrské praxi.
|
|
|
Influence of seismic load on behavior of reinforced concrete frame.
Zlámalová, Pavlína ; Nováček, Jan (oponent) ; Zich, Miloš (vedoucí práce)
The aim of this work is a static analysis of the reinforced concrete frame structure loaded by the effects of seismic loading. The work deals with the solution of multi-storey reinforced concrete structure designed for common loading conditions and further for possibilities of strengthening of the structure on effect of seismic loading. In the first phase of the work, the static analysis and the design of the main load-bearing elements of the frame structure (columns and main girder) were carried out for the ultimate limit state for the standard design load. In the second phase, the static analysis of the structure for the effects of accidental actions from low and high seismicity was performed and it was assessed whether the main load-bearing elements of the structure would continue to comply. Given that the structure did not satisfy the accidental actions of seismic loading, various ways of structure strengthening were designed and analyzed for their impact on the global and local behaviour of the structure. Also the designing of additional steps for structural reliability were performed. Static analyzes were performed in Scia Engineering and RFEM Dlubal software.
|
|
|
Analýza mechanického namáhání při zkratu ve vzduchem izolovaném rozváděči vn
Bártů, Jan ; Bajánek, Tomáš (oponent) ; Orságová, Jaroslava (vedoucí práce)
Tato diplomová práce je zaměřena na problematiku silových účinků magnetického pole zkratového proudu. V první části práce bylo úkolem provést analýzu vzájemného silového působení tří fázových přípojnic během třípólového zkratu. Analýza byla provedena v programu Ansys Maxwell. Následně jsem správnost této analýzy ověřil numerickým výpočtem. Hlavním úkolem praktické části práce zadané firmou ABB s.r.o, bylo zanalyzovat silové účinky zkratového proudu v rozvaděči vn se zaměřením na paže a kontaktní systém vypínače. Přesněji byly simulovány 3 konfigurace zjednodušeného vypínače VD4, dva typy kontaktního systému vypínače VD4 a model lineární konfigurace vypínače. Úkolem bylo vypočítat působící síly vzniklé při třífázovém zkratu na proudovodnou dráhu paží a kontaktního systému vypínače VD4 a nasimulovat působení sil na tyto proudové části. Pro jednotlivé modelování sestav, výpočty a simulace byly použity následující výpočetní programy: SolidWorks 2014, Ansys Maxwell 16.0, Ansys Workbench 14.5. Pomocí 3D CAD softwaru SolidWorks 2014 byly vymodelovány zjednodušené sestavy vypínačů a kontaktních systémů, které byly importovány do softwarového prostředí Ansys Maxwell, ve kterém byly vypočítány silové účinky magnetického pole zkratového proudu. Za pomocí programu Ansys Workbench bylo nasimulováno působení sil na proudovodné části vypínačů a vykresleny vzniklé deformace materiálů s ohledem na mechanické vlastnosti konstrukce. Analýza silových účinků magnetického pole byla prováděna pro zadanou statickou hodnotu zkratového proudu.
|
host ::
RSS.