instantiate DPKG_MAINTSCRIPT_* variables

colis-anr / colis-batch

A tool to run colis-language on packages and corpora of packages

0 stars 0 forks source link

instantiate DPKG_MAINTSCRIPT_* variables #1

Closed treinen closed 5 years ago

treinen commented 5 years ago

The bindings of the environment variables DPKGMAINTSCRIPT* should be passed to the symbolic execution engine as far as they can be known. In particular we need

DPKG_MAINTSCRIPT_NAME (which can preinst,postints,prerm,postrm)
DPKG_MAINTSCRIPT_PACKAGE (the name of the package "owning" the script)

see dpkg(1) for a complete list

Niols commented 5 years ago

this has now been done little while by the tool. closing.