Deprecated: $wgMWOAuthSharedUserIDs=false is deprecated, set $wgMWOAuthSharedUserIDs=true, $wgMWOAuthSharedUserSource='local' instead [Called from MediaWiki\HookContainer\HookContainer::run in /var/www/html/w/includes/HookContainer/HookContainer.php at line 135] in /var/www/html/w/includes/Debug/MWDebug.php on line 372

Notice: Unexpected clearActionName after getActionName already called in /var/www/html/w/includes/Context/RequestContext.php on line 321
Artifacts for the 2022 ATVA Paper: SISL: Concolic Testing of Structured Binary Input Formats via Partial Specification - MaRDI portal

Deprecated: Use of MediaWiki\Skin\SkinTemplate::injectLegacyMenusIntoPersonalTools was deprecated in Please make sure Skin option menus contains `user-menu` (and possibly `notifications`, `user-interface-preferences`, `user-page`) 1.46. [Called from MediaWiki\Skin\SkinTemplate::getPortletsTemplateData in /var/www/html/w/includes/Skin/SkinTemplate.php at line 691] in /var/www/html/w/includes/Debug/MWDebug.php on line 372

Deprecated: Use of MediaWiki\Skin\BaseTemplate::getPersonalTools was deprecated in 1.46 Call $this->getSkin()->getPersonalToolsForMakeListItem instead (T422975). [Called from Skins\Chameleon\Components\NavbarHorizontal\PersonalTools::getHtml in /var/www/html/w/skins/chameleon/src/Components/NavbarHorizontal/PersonalTools.php at line 66] in /var/www/html/w/includes/Debug/MWDebug.php on line 372

Deprecated: Use of QuickTemplate::(get/html/text/haveData) with parameter `personal_urls` was deprecated in MediaWiki Use content_navigation instead. [Called from MediaWiki\Skin\QuickTemplate::get in /var/www/html/w/includes/Skin/QuickTemplate.php at line 131] in /var/www/html/w/includes/Debug/MWDebug.php on line 372

Artifacts for the 2022 ATVA Paper: SISL: Concolic Testing of Structured Binary Input Formats via Partial Specification

From MaRDI portal
(Redirected from Dataset:6700876)



DOI10.5281/zenodo.6802198Zenodo6802198MaRDI QIDQ6700876

Dataset published at Zenodo repository.

Author name not available (Why is that?)

Publication date: 6 July 2022

Copyright license: No records found.



Description

Artifacts for the evaluation of the publication SISL: Concolic Testing of Structured Binary Input Formats via Partial Specification, which will be published as part of the 2022 International Symposium on Automated Technology for Verification and Analysis (ATVA). Usage of the provided artifacts requires installing the SISL tooling first. In this regard, please refer to either the SISL user manual or the documentation in the sisl and sisl-vp GitHub repositories. Both sisl and sisl-vp need to be installed to system-wide locations in order to be able to use the scripts provided as part of these artifacts. More information on using the artifacts is available in the README.md file.






This page was built for dataset: Artifacts for the 2022 ATVA Paper: SISL: Concolic Testing of Structured Binary Input Formats via Partial Specification

Retrieved from "https://mardi.schubotz.org/w/index.php?title=Artifacts_for_the_2022_ATVA_Paper:_SISL:_Concolic_Testing_of_Structured_Binary_Input_Formats_via_Partial_Specification&oldid=44839048"
Powered by MediaWiki