Diplomová práce
Získaná ocenění: Cena děkana FI za vynikající závěrečnou práci

Detekce bezpečnostních chyb pomocí statické analýzy kódu

Detection of security bugs using static code analysis

Bc. David Formánek
Anotace

Práce se zabývá automatickou statickou analýzou kódu a jejím využitím pro detekci třídy bezpečnostních zranitelností nazývaných jako injekce. Kromě nezbytné teorie je především popsána vlastní implementace nového mechanismu, který pomocí tzv. taint analýzy umožňuje tyto chyby spolehlivě detekovat v Java aplikacích. Tento mechanismus byl integrován do rozšíření FindSecurityBugs pro volně dostupný nástroj …více

Abstract

The thesis deals with static code analysis and its usage for detection of a class of security bugs called injections. Besides the needful theory, we describe own implementation of a new mechanism that allows reliable detection of those bugs in Java applications by utilizing so-called taint analysis. This mechanism has been integrated into FindSecurityBugs - extension for the open-source tool called …více

Klíčová slova
bezpečnost software statická analýza taint analýza injekce FindBugs software security static analysis taint analysis injection
Zadání práce
Cílem práce je rozšíření a zlepšení schopnosti FindSecurityBugs (zásuvného modulu nástroje FindBugs) detekovat bezpečnostní chyby. Zaměřte se na zranitelnosti typu injekce a bezpečnostní problémy detekovatelné pomocí tzv. taint analýzy. Rozšířený zásuvný modul by měl být schopen detekovat většinu těchto problémů, přitom ale výrazně omezit množství falešných detekcí oproti původní verzi FindSecurityBugs. Výsledek otestujte na testovací sadě bezpečnostních chyb (např. Juliet Test Suite) a porovnejte s původní verzí zásuvného modulu.
Administrativní informace
Práce zkontrolována:
31. 5. 2016 09:22, RNDr. Andrij Stecko, Ph.D.
Plný text práce
438 KB / soubor PDF
Přílohy (3)
Jazyk práce
čeština čeština
Termín obhajoby
28. 6. 2016
Práce byla úspěšně obhájena

Vedoucí

RNDr. Andrij Stecko, Ph.D.
ITI FI MU

Oponent

doc. RNDr. Petr Švenda, Ph.D., učo 4085
KPSK FI MU
Citovat tuto práci
Masarykova univerzita Fakulta informatiky
Studijní program
Informatika
Obor

Práce na příbuzné téma

Seznam prací, které mají shodná klíčová slova.

Podobné práce

  • Přidání souboru

    Soubor nebo složku lze nahrát pomocí tlačítka Přidat.

  • Další operace se soubory

    Podrobnosti lze zjistit označením příslušného řádku.

  • Pohled pro experty

    Pro častou práci je možné zvolit režim Více možností.

  • Vyhledávání souborů

    Vyhledávaný výraz můžete zadat přímo do adresního řádku.

  • Rychlý přístup k souborům

    Pomocí funkce Nedávné je možné se rychle vrátit k právě prohlíženým souborům. Oblíbené soubory je také možné označit Hvězdičkou.