EAAS/NFV vut-ibt 返回
项目作者： harmim

项目描述 ：
Bachelor's Thesis - Static Analysis Using Facebook Infer to Find Atomicity Violations
高级语言： C
项目地址: git://github.com/harmim/vut-ibt.git
创建时间： 2018-12-22T16:12:54Z
项目社区：https://github.com/harmim/vut-ibt
开源协议：MIT License
下载


fitlogo1_1648989282497.pdf
fitlogo3_1648989282521.pdf
infer_1648989282563.pdf
xharmi00_Vojnar_1648989282598.pdf
xharmi00_1648989282763.pdf
fitlogo1_1648989282882.pdf
fitlogo3_1648989282939.pdf
infer_1648989283029.pdf
presentation_1648989283100.pdf
fitlogo1_1648989284115.pdf
fitlogo1_cz_1648989284131.pdf
fitlogo3_1648989284144.pdf
prezentace_1648989284186.pdf
placeholder_1648989284262.pdf
projekt-en_1648989284341.pdf
projekt_1648989284453.pdf
VUT_symbol_barevne_CMYK_CZ_1648989284603.pdf
VUT_symbol_cernobile_CZ_1648989284660.pdf
desky_1648989284707.pdf
analyser_proposal_1648989284823.pdf
analyser_proposal_sets_1648989284868.pdf
infer_1648989284944.pdf
infer_analysis_1648989285000.pdf
infer_architecture_1648989285018.pdf
infer_call_graph_1648989285049.pdf
xharmi00_Fiedor_1_1648989285076.pdf
xharmi00_Fiedor_2_1648989285280.pdf
xharmi00_Vojnar_1_1648989285448.pdf
xharmi00_Vojnar_2_1648989285698.pdf
review_1648989285931.pdf
supervisor_assessment_1648989285980.pdf
VUT_symbol_barevne_CMYK_CZ_1648989286083.pdf
xharmi00_1648989286178.pdf
zadani_1648989286312.pdf