{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,11,5]],"date-time":"2025-11-05T06:50:34Z","timestamp":1762325434239,"version":"3.37.3"},"reference-count":43,"publisher":"Springer Science and Business Media LLC","issue":"5","license":[{"start":{"date-parts":[[2022,9,23]],"date-time":"2022-09-23T00:00:00Z","timestamp":1663891200000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springer.com\/tdm"},{"start":{"date-parts":[[2022,9,23]],"date-time":"2022-09-23T00:00:00Z","timestamp":1663891200000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":["Int J Softw Tools Technol Transfer"],"published-print":{"date-parts":[[2022,10]]},"DOI":"10.1007\/s10009-022-00671-1","type":"journal-article","created":{"date-parts":[[2022,9,23]],"date-time":"2022-09-23T14:03:44Z","timestamp":1663941824000},"page":"717-733","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":2,"title":["The CoLiS platform for the analysis of maintainer scripts in Debian software packages"],"prefix":"10.1007","volume":"24","author":[{"ORCID":"https:\/\/orcid.org\/0000-0002-0819-8344","authenticated-orcid":false,"given":"Benedikt","family":"Becker","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0003-1969-1246","authenticated-orcid":false,"given":"Nicolas","family":"Jeannerod","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0003-3035-1269","authenticated-orcid":false,"given":"Claude","family":"March\u00e9","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-0745-8730","authenticated-orcid":false,"given":"Yann","family":"R\u00e9gis-Gianas","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-1925-089X","authenticated-orcid":false,"given":"Mihaela","family":"Sighireanu","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Ralf","family":"Treinen","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2022,9,23]]},"reference":[{"issue":"10","key":"671_CR1","doi-asserted-by":"publisher","first-page":"29","DOI":"10.1145\/3183558","volume":"61","author":"Jean-Fran\u00e7ois Abramatic","year":"2018","unstructured":"Abramatic, Jean-Fran\u00e7ois., Di Cosmo, Roberto, Zacchiroli, Stefano: Building the universal archive of source code. Commun. ACM 61(10), 29\u201331 (2018). https:\/\/doi.org\/10.1145\/3183558","journal-title":"Commun. ACM"},{"issue":"1\u20132","key":"671_CR2","doi-asserted-by":"publisher","first-page":"263","DOI":"10.1016\/0304-3975(94)90209-7","volume":"122","author":"Hassan A\u00eft-Kaci","year":"1994","unstructured":"A\u00eft-Kaci, Hassan, Podelski, Andreas, Smolka, Gert: A feature-based constraint system for logic programming with entailment. Theoret. Comput. Sci. 122(1\u20132), 263\u2013283 (1994)","journal-title":"Theoret. Comput. Sci."},{"key":"671_CR3","unstructured":"Allbery, R., Whitton, S.: Debian policy manual. https:\/\/www.debian.org\/doc\/debian-policy\/, October 2019. [Online; last accessed 2022-June-14]"},{"key":"671_CR4","unstructured":"Bach, M.J.: The Design of the UNIX Operating System, Prentice-Hall (1986)"},{"key":"671_CR5","unstructured":"Becker, B., March\u00e9, C., Jeannerod, N., Treinen, R.: Revision 2 of CoLiS language: formal syntax, semantics, concrete and symbolic interpreters. Technical report, HAL Archives Ouvertes, October 2019. URL: https:\/\/hal.inria.fr\/hal-02321743"},{"key":"671_CR6","unstructured":"Becker, B.: dash ignores -e in substitution under test. https:\/\/www.mail-archive.com\/dash@vger.kernel.org\/msg01683.html, 2018. [Online; last accessed 2022-June-14]"},{"key":"671_CR7","doi-asserted-by":"crossref","unstructured":"Becker, B. and March\u00e9, C.: Ghost Code in Action: Automated Verification of a Symbolic Interpreter. In: Chakraborty, S. and Navas, J.A. (eds.), Verified Software: Tools, Techniques and Experiments, Lecture Notes in Computer Science, 2019. URL: https:\/\/hal.inria.fr\/hal-02276257","DOI":"10.1007\/978-3-030-41600-3_8"},{"key":"671_CR8","doi-asserted-by":"publisher","DOI":"10.5281\/zenodo.5560955","author":"Benedikt Becker","year":"2021","unstructured":"Becker, Benedikt, Jeannerod, Nicolas, March\u00e9, Claude, R\u00e9gis-Gianas, Yann, Sighireanu, Mihaela, Treinen, Ralf: Report generated by colis-batch on Debian bullseye. Zenodo Repos. (2021). https:\/\/doi.org\/10.5281\/zenodo.5560955","journal-title":"Zenodo Repos."},{"issue":"6","key":"671_CR9","doi-asserted-by":"publisher","first-page":"709","DOI":"10.1007\/s10009-014-0314-5","volume":"17","author":"F Bobot","year":"2015","unstructured":"Bobot, F., Filli\u00e2tre, J.-C., March\u00e9, C., Paskevich, A.: Let\u2019s verify this with Why3. Int. J. Softw. Tools Technol. Transf. (STTT) 17(6), 709\u2013727 (2015)","journal-title":"Int. J. Softw. Tools Technol. Transf. (STTT)"},{"key":"671_CR10","unstructured":"Debian Bug Tracker: authbind: maintainer script(s) not using strict mode. Debian Bug Report 866249, June 2017. URL: https:\/\/bugs.debian.org\/cgi-bin\/bugreport.cgi?bug=866249"},{"key":"671_CR11","unstructured":"Debian Bug Tracker: dibbler-server: postinst contains invalid command. Debian Bug Reports 841934, October 2016. URL: https:\/\/bugs.debian.org\/cgi-bin\/bugreport.cgi?bug=841934"},{"key":"671_CR12","unstructured":"Debian Bug Tracker: dict-freedict-all: postinst script has a wrong redirection. Debian Bug Report 908189, September 2018. URL: https:\/\/bugs.debian.org\/cgi-bin\/bugreport.cgi?bug=908189"},{"key":"671_CR13","unstructured":"Debian Bug Tracker: dpkg-maintscript-helper: bug in finish_dir_to_symlink. Debian Bug Report 922799, February 2019. URL: https:\/\/bugs.debian.org\/cgi-bin\/bugreport.cgi?bug=922799"},{"key":"671_CR14","unstructured":"Debian Bug Tracker: ndiswrapper: when postrm purge fails it may have deleted some config files. Debian Bug Report 942392, October 2019. URL: https:\/\/bugs.debian.org\/cgi-bin\/bugreport.cgi?bug=942392"},{"key":"671_CR15","unstructured":"Debian Bug Tracker: oz: non-idempotent postrm script. Debian Bug Report 942395, October 2019. URL: https:\/\/bugs.debian.org\/cgi-bin\/bugreport.cgi?bug=942395"},{"key":"671_CR16","unstructured":"Debian Bug Tracker: preinst script not Posix compliant. Debian Bug Report 925006, March 2019. URL: https:\/\/bugs.debian.org\/cgi-bin\/bugreport.cgi?bug=925006"},{"key":"671_CR17","unstructured":"Debian Bug Tracker: python3-neutron-fwaas-dashboard: incorrect test in postrm. Debian Bug Report 900493, May 2018. URL: https:\/\/bugs.debian.org\/cgi-bin\/bugreport.cgi?bug=900493"},{"key":"671_CR18","unstructured":"Debian Bug Tracker: rancid-cgi: preinst may fail and not rollback a change. Debian Bug Report 942388, October 2019. URL: https:\/\/bugs.debian.org\/cgi-bin\/bugreport.cgi?bug=942388"},{"key":"671_CR19","unstructured":"Debian Bug Tracker: sgml-base: preinst may fail silently. Debian Bug Report 929706, May 2019. URL: https:\/\/bugs.debian.org\/cgi-bin\/bugreport.cgi?bug=929706"},{"key":"671_CR20","unstructured":"Developer\u2019s Reference Team: Debian developers reference. https:\/\/www.debian.org\/doc\/manuals\/developers-reference\/, October 2019. [Online; last accessed 2022-June-14]"},{"issue":"12","key":"671_CR21","doi-asserted-by":"publisher","first-page":"1144","DOI":"10.1016\/j.scico.2010.11.001","volume":"76","author":"Roberto Di Cosmo","year":"2011","unstructured":"Di Cosmo, Roberto, Di Ruscio, Davide, Pelliccione, Patrizio, Pierantonio, Alfonso, Zacchiroli, Stefano: Supporting software evolution in component-based FOSS systems. Sci. Comput. Program. 76(12), 1144\u20131160 (2011). https:\/\/doi.org\/10.1016\/j.scico.2010.11.001","journal-title":"Sci. Comput. Program."},{"key":"671_CR22","unstructured":"Gallot, P.: Safety of transformations of data trees. Phd thesis, Universit\u00e9 de Lille, 2021. URL: https:\/\/hal.archives-ouvertes.fr\/tel-03517128"},{"key":"671_CR23","doi-asserted-by":"publisher","unstructured":"Gardner, P., Ntzik, G., and Wright, A.: Local reasoning for the Posix file system. In: European Symposium On Programming, volume 8410 of Lecture Notes in Computer Science, pp. 169\u2013188. Springer, (2014). https:\/\/doi.org\/10.1007\/978-3-642-54833-8_10","DOI":"10.1007\/978-3-642-54833-8_10"},{"key":"671_CR24","unstructured":"Greenberg, M., Austin Blatt, J.: Executable formal semantics for the Posix shell. CoRR, (2019), abs\/1907.05308. arXiv:1907.05308"},{"key":"671_CR25","unstructured":"IEEE and The Open Group: The open group base specifications issue\u00a07. http:\/\/pubs.opengroup.org\/onlinepubs\/9699919799\/, 2018. [Online; last accessed 2022-June-14]"},{"key":"671_CR26","doi-asserted-by":"crossref","unstructured":"Jeannerod, N., March\u00e9, C., Treinen, R.: A Formally Verified Interpreter for a Shell-like Programming Language. In: 9th Working Conference on Verified Software: Theories, Tools, and Experiments, volume 10712 of Lecture Notes in Computer Science, 2017. URL: https:\/\/hal.archives-ouvertes.fr\/hal-01534747","DOI":"10.1007\/978-3-319-72308-2_1"},{"key":"671_CR27","unstructured":"Jeannerod, N., R\u00e9gis-Gianas, Y., March\u00e9, C., Sighireanu, M., Treinen, R.: Specification of UNIX utilities. Technical report, HAL Archives Ouvertes, October 2019. URL: https:\/\/hal.inria.fr\/hal-02321691"},{"key":"671_CR28","unstructured":"Jeannerod, N., R\u00e9gis-Gianas, Y., Treinen, R.: Having fun with 31.521 shell scripts. Technical report, HAL Archives Ouvertes, 2017. URL: https:\/\/hal.archives-ouvertes.fr\/hal-01513750"},{"key":"671_CR29","doi-asserted-by":"crossref","unstructured":"Jeannerod, N., Treinen, R.: Deciding the first-order theory of an algebra of feature trees with updates. In: Galmiche, D., Schulz, S. and Sebastiani, R. (eds.) 9th International Joint Conference on Automated Reasoning, volume 10900 of Lecture Notes in Computer Science, pp. 439\u2013454, Oxford, UK, July 2018. Springer. URL: https:\/\/hal.archives-ouvertes.fr\/hal-01807474","DOI":"10.1007\/978-3-319-94205-6_29"},{"key":"671_CR30","unstructured":"Jeannerod, N.: Verification of shell scripts performing file hierarchy transformations. PhD thesis, Universit\u00e9 de Paris, March 2021. URL: https:\/\/hal.archives-ouvertes.fr\/tel-03369452"},{"key":"671_CR31","doi-asserted-by":"crossref","unstructured":"Mazurak, K., Zdancewic, S.: ABASH: finding bugs in bash scripts. In: Workshop on Programming Languages and Analysis for Security, pp. 105\u2013114, (2007)","DOI":"10.1145\/1255329.1255347"},{"key":"671_CR32","doi-asserted-by":"publisher","unstructured":"Ntzik, G., da\u00a0Rocha\u00a0Pinto, P., Sutherland, J., and Gardner, P.: A concurrent specification of Posix file systems. In: European Conference on Object-Oriented Programming, volume 109 of LIPIcs, pp. 4:1\u20134:28. Schloss Dagstuhl - Leibniz-Zentrum f\u00fcr Informatik (2018). https:\/\/doi.org\/10.4230\/LIPIcs.ECOOP.2018.4","DOI":"10.4230\/LIPIcs.ECOOP.2018.4"},{"key":"671_CR33","doi-asserted-by":"publisher","unstructured":"Ntzik, G., Gardner, P.: Reasoning about the Posix file system: local update and global pathnames. In: Object-Oriented Programming, Systems, Languages and Applications, pp. 201\u2013220. ACM (2015). https:\/\/doi.org\/10.1145\/2814270.2814306","DOI":"10.1145\/2814270.2814306"},{"key":"671_CR34","doi-asserted-by":"publisher","first-page":"100944","DOI":"10.1016\/j.cola.2020.100944","volume":"57","author":"Y R\u00e9gis-Gianas","year":"2020","unstructured":"R\u00e9gis-Gianas, Y., Jeannerod, N., Treinen, R.: Morbig: a static parser for POSIX shell. J. Comput. Lang. 57, 100944 (2020)","journal-title":"J. Comput. Lang."},{"key":"671_CR35","unstructured":"Rosenfeld, R.: Package rancid-cgi: looking glass cgi based on rancid tools, 2019. https:\/\/packages.debian.org\/en\/sid\/rancid-cgi"},{"key":"671_CR36","doi-asserted-by":"publisher","first-page":"51","DOI":"10.1016\/0743-1066(92)90039-6","volume":"12","author":"Gert Smolka","year":"1992","unstructured":"Smolka, Gert: Feature constraint logics for unification grammars. J. Log. Program. 12, 51\u201387 (1992)","journal-title":"J. Log. Program."},{"issue":"3","key":"671_CR37","doi-asserted-by":"publisher","first-page":"229","DOI":"10.1016\/0743-1066(94)90044-2","volume":"18","author":"Gert Smolka","year":"1994","unstructured":"Smolka, Gert, Treinen, Ralf: Records for logic programming. J. Log. Program. 18(3), 229\u2013258 (1994)","journal-title":"J. Log. Program."},{"key":"671_CR38","unstructured":"The CoLiS project. The CoLiS toolchain. https:\/\/github.com\/colis-anr"},{"key":"671_CR39","unstructured":"The Debian Project. Bugs tagged colis. https:\/\/bugs.debian.org\/cgi-bin\/pkgreport.cgi?tag=colis-shparser;users=treinen@debian.org"},{"key":"671_CR40","unstructured":"The Lintian expert system. https:\/\/lintian.debian.org. [Online; last accessed 2022-June-14]"},{"key":"671_CR41","unstructured":"The Linux Foundation: Filesystem hierarchy standard, version 3.0, March 2015. URL: https:\/\/refspecs.linuxfoundation.org"},{"key":"671_CR42","unstructured":"The piuparts tool for quality assurance of Debian packages. https:\/\/piuparts.debian.org\/. [Online; last accessed 2022-June-14]"},{"key":"671_CR43","unstructured":"Ucko, A.M.: cmigrep: broken emacsen-install script. Debian Bug Report 431131, June 2007. URL: https:\/\/bugs.debian.org\/cgi-bin\/bugreport.cgi?bug=431131"}],"container-title":["International Journal on Software Tools for Technology Transfer"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/s10009-022-00671-1.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/article\/10.1007\/s10009-022-00671-1\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/s10009-022-00671-1.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,10,4]],"date-time":"2024-10-04T14:19:35Z","timestamp":1728051575000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/s10009-022-00671-1"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2022,9,23]]},"references-count":43,"journal-issue":{"issue":"5","published-print":{"date-parts":[[2022,10]]}},"alternative-id":["671"],"URL":"https:\/\/doi.org\/10.1007\/s10009-022-00671-1","relation":{},"ISSN":["1433-2779","1433-2787"],"issn-type":[{"type":"print","value":"1433-2779"},{"type":"electronic","value":"1433-2787"}],"subject":[],"published":{"date-parts":[[2022,9,23]]},"assertion":[{"value":"29 August 2022","order":1,"name":"accepted","label":"Accepted","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"23 September 2022","order":2,"name":"first_online","label":"First Online","group":{"name":"ArticleHistory","label":"Article History"}}]}}