From: Aleksei Nikiforov <darktemplar@altlinux.org> To: devel@lists.altlinux.org Subject: Re: [devel] [PATCH apt 3/3] Fix UB in pointer arithmetic Date: Tue, 10 Dec 2019 11:18:24 +0300 Message-ID: <ffc22c75-bc2e-27c5-e304-6a060c707f74@altlinux.org> (raw) In-Reply-To: <20191209235654.GC15867@altlinux.org> 10.12.2019 2:56, Dmitry V. Levin пишет: > Commit 6d5e6a689d07de8feef2cbecb24bc42d5994861b aka 0.5.15lorg2-alt70~9 > among other changes introduced UB in pointer arithmetic by casting raw > pointers to specific types. > > Fix this by introducing two helpers for rebasing pointers in a safe way. > > Co-developed-by: Aleksei Nikiforov <darktemplar@altlinux.org> This line is not true. I didn't participate in creation of this version of patch. Please remove it. > Fixes: 6d5e6a68 ("apt-pkg/pkgcachegen.{cc,h} changes") > --- > apt/apt-pkg/Makefile.am | 1 + > apt/apt-pkg/cacheiterators.h | 14 ++++++++------ > apt/apt-pkg/contrib/mmap.cc | 8 ++++---- > apt/apt-pkg/pkgcachegen.cc | 27 +++++++++++---------------- > apt/apt-pkg/rebase_pointer.h | 25 +++++++++++++++++++++++++ > apt/apt-pkg/rpm/rpmlistparser.cc | 3 ++- > 6 files changed, 51 insertions(+), 27 deletions(-) > create mode 100644 apt/apt-pkg/rebase_pointer.h > > diff --git a/apt/apt-pkg/Makefile.am b/apt/apt-pkg/Makefile.am > index 4c0d234..d038d01 100644 > --- a/apt/apt-pkg/Makefile.am > +++ b/apt/apt-pkg/Makefile.am > @@ -94,6 +94,7 @@ libapt_pkg_la_SOURCES = \ > pkgsystem.h \ > policy.cc \ > policy.h \ > + rebase_pointer.h \ > repository.cc \ > repository.h \ > scopeexit.h \ > diff --git a/apt/apt-pkg/cacheiterators.h b/apt/apt-pkg/cacheiterators.h > index 9dffeb3..3c60cb8 100644 > --- a/apt/apt-pkg/cacheiterators.h > +++ b/apt/apt-pkg/cacheiterators.h > @@ -34,6 +34,8 @@ > #pragma interface "apt-pkg/cacheiterators.h" > #endif > > +#include <apt-pkg/rebase_pointer.h> > + > // Package Iterator > class pkgCache::PkgIterator > { > @@ -87,7 +89,7 @@ class pkgCache::PkgIterator > { > if (Owner == 0 || Pkg == 0) > return; > - Pkg += static_cast<Package const *>(newMap) - static_cast<Package const *>(oldMap); > + RebasePointer(Pkg, oldMap, newMap); > } > > // Constructors > @@ -149,7 +151,7 @@ class pkgCache::VerIterator > { > if (Owner == 0 || Ver == 0) > return; > - Ver += static_cast<Version const *>(newMap) - static_cast<Version const *>(oldMap); > + RebasePointer(Ver, oldMap, newMap); > } > > inline VerIterator() : Ver(0), Owner(0) {}; > @@ -222,7 +224,7 @@ class pkgCache::DepIterator > { > if (Owner == 0 || Dep == 0) > return; > - Dep += static_cast<Dependency const *>(newMap) - static_cast<Dependency const *>(oldMap); > + RebasePointer(Dep, oldMap, newMap); > } > > inline DepIterator(pkgCache &Owner,Dependency *Trg,Version * = 0) : > @@ -281,7 +283,7 @@ class pkgCache::PrvIterator > { > if (Owner == 0 || Prv == 0) > return; > - Prv += static_cast<Provides const *>(newMap) - static_cast<Provides const *>(oldMap); > + RebasePointer(Prv, oldMap, newMap); > } > > inline PrvIterator() : Prv(0), Type(PrvVer), Owner(0) {}; > @@ -344,7 +346,7 @@ class pkgCache::PkgFileIterator > { > if (Owner == 0 || File == 0) > return; > - File += static_cast<PackageFile const *>(newMap) - static_cast<PackageFile const *>(oldMap); > + RebasePointer(File, oldMap, newMap); > } > > // Constructors > @@ -385,7 +387,7 @@ class pkgCache::VerFileIterator > { > if (Owner == 0 || FileP == 0) > return; > - FileP += static_cast<VerFile const *>(newMap) - static_cast<VerFile const *>(oldMap); > + RebasePointer(FileP, oldMap, newMap); > } > > inline VerFileIterator() : Owner(0), FileP(0) {}; > diff --git a/apt/apt-pkg/contrib/mmap.cc b/apt/apt-pkg/contrib/mmap.cc > index 2064fc4..779d7a6 100644 > --- a/apt/apt-pkg/contrib/mmap.cc > +++ b/apt/apt-pkg/contrib/mmap.cc > @@ -30,6 +30,7 @@ > #include <apt-pkg/configuration.h> > #include <apt-pkg/mmap.h> > #include <apt-pkg/error.h> > +#include <apt-pkg/rebase_pointer.h> > > #include <apti18n.h> > > @@ -285,13 +286,12 @@ std::experimental::optional<map_ptrloc> DynamicMMap::Allocate(unsigned long Item > I->Count = size/ItemSize; > Pool* oldPools = Pools; > auto idxResult = RawAllocate(I->Count*ItemSize,ItemSize); > - if (Pools != oldPools) > - I += Pools - oldPools; > > // Does the allocation failed ? > if (!idxResult) > return idxResult; > > + RebasePointer(I, oldPools, Pools); > Result = *idxResult; > I->Start = Result; > } > @@ -356,7 +356,7 @@ bool DynamicMMap::Grow(unsigned long long size) > Fd->Write(&C,sizeof(C)); > } > > - unsigned long const poolOffset = Pools - ((Pool*) Base); > + const void *old_base = Base; > > if (Fd != 0) > { > @@ -393,7 +393,7 @@ bool DynamicMMap::Grow(unsigned long long size) > memset((char*)Base + WorkSpace, 0, newSize - WorkSpace); > } > > - Pools = (Pool*) Base + poolOffset; > + RebasePointer(Pools, old_base, Base); > WorkSpace = newSize; > > return true; > diff --git a/apt/apt-pkg/pkgcachegen.cc b/apt/apt-pkg/pkgcachegen.cc > index 56716b5..7a5a20c 100644 > --- a/apt/apt-pkg/pkgcachegen.cc > +++ b/apt/apt-pkg/pkgcachegen.cc > @@ -26,6 +26,7 @@ > #include <apt-pkg/strutl.h> > #include <apt-pkg/sptr.h> > #include <apt-pkg/pkgsystem.h> > +#include <apt-pkg/rebase_pointer.h> > > #include <apti18n.h> > > @@ -116,11 +117,11 @@ void pkgCacheGenerator::ReMap(void const * const oldMap, void const * const newM > > Cache.ReMap(false); > > - CurrentFile += (pkgCache::PackageFile*) newMap - (pkgCache::PackageFile*) oldMap; > + RebasePointer(CurrentFile, oldMap, newMap); > > for (size_t i = 0; i < _count(UniqHash); ++i) > if (UniqHash[i] != 0) > - UniqHash[i] += (pkgCache::StringItem*) newMap - (pkgCache::StringItem*) oldMap; > + RebasePointer(UniqHash[i], oldMap, newMap); > > for (auto i = Dynamic<pkgCache::PkgIterator>::toReMap.begin(); > i != Dynamic<pkgCache::PkgIterator>::toReMap.end(); ++i) > @@ -269,11 +270,8 @@ bool pkgCacheGenerator::MergeList(ListParser &List, > continue; > } > > - if (oldMap != Map.Data()) > - { > - Last += (map_ptrloc*) Map.Data() - (map_ptrloc*) oldMap; > - oldMap = Map.Data(); > - } > + RebasePointer(Last, oldMap, Map.Data()); > + oldMap = Map.Data(); > > // Skip to the end of the same version set. > if (Res == 0) > @@ -296,8 +294,7 @@ bool pkgCacheGenerator::MergeList(ListParser &List, > return _error->Error(_("Error occurred while processing %s (NewVersion%d)"), > PackageName.c_str(), 1); > > - if (oldMap != Map.Data()) > - Last += (map_ptrloc*) Map.Data() - (map_ptrloc*) oldMap; > + RebasePointer(Last, oldMap, Map.Data()); > *Last = *verindex; > > Ver->ParentPkg = Pkg.Index(); > @@ -604,8 +601,9 @@ bool pkgCacheGenerator::ListParser::NewDepends(pkgCache::VerIterator &Ver, > for (pkgCache::DepIterator D = Ver.DependsList(); D.end() == false; D++) > OldDepLast = &D->NextDepends; > OldDepVer = Ver; > - } else if (oldMap != Owner->Map.Data()) > - OldDepLast += (map_ptrloc*) Owner->Map.Data() - (map_ptrloc*) oldMap; > + } else { > + RebasePointer(OldDepLast, oldMap, Owner->Map.Data()); > + } > > // Is it a file dependency? > if (PackageName[0] == '/') > @@ -745,11 +743,8 @@ std::experimental::optional<map_ptrloc> pkgCacheGenerator::WriteUniqString(const > if ((!Item) || (!idxString)) > return std::experimental::optional<map_ptrloc>(); > > - if (oldMap != Map.Data()) > - { > - Last += (map_ptrloc*) Map.Data() - (map_ptrloc*) oldMap; > - I += (pkgCache::StringItem*) Map.Data() - (pkgCache::StringItem*) oldMap; > - } > + RebasePointer(Last, oldMap, Map.Data()); > + RebasePointer(I, oldMap, Map.Data()); > > *Last = *Item; > > diff --git a/apt/apt-pkg/rebase_pointer.h b/apt/apt-pkg/rebase_pointer.h > new file mode 100644 > index 0000000..2bbabea > --- /dev/null > +++ b/apt/apt-pkg/rebase_pointer.h > @@ -0,0 +1,25 @@ > +#ifndef PKGLIB_REBASE_POINTER_H > +#define PKGLIB_REBASE_POINTER_H > + > +template <class T> > +static inline T* > +GetRebasedPointer(T*, const void *, const void *) > +__attribute__((__warn_unused_result__)); > + > +template <class T> > +static inline T* > +GetRebasedPointer(T* ptr, const void *old_base, const void *new_base) > +{ > + // uintptr_t is a type with well-defined integer overflow semantics > + uintptr_t diff = (uintptr_t) new_base - (uintptr_t) old_base; > + return (T*) ((uintptr_t) ptr + diff); > +} > + > +template <class T> > +static inline void > +RebasePointer(T* &ptr, const void *old_base, const void *new_base) > +{ > + ptr = GetRebasedPointer(ptr, old_base, new_base); > +} > + > +#endif > diff --git a/apt/apt-pkg/rpm/rpmlistparser.cc b/apt/apt-pkg/rpm/rpmlistparser.cc > index 9b2e9ad..4aeb937 100644 > --- a/apt/apt-pkg/rpm/rpmlistparser.cc > +++ b/apt/apt-pkg/rpm/rpmlistparser.cc > @@ -25,6 +25,7 @@ > #include <apt-pkg/strutl.h> > #include <apt-pkg/crc-16.h> > #include <apt-pkg/tagfile.h> > +#include <apt-pkg/rebase_pointer.h> > > #include <apti18n.h> > > @@ -56,7 +57,7 @@ rpmListParser::rpmListParser(RPMHandler *Handler) > > for (auto iter: *SeenPackages) > { > - tmp.insert(iter + (static_cast<const char *>(newMap) - static_cast<const char *>(oldMap))); > + tmp.insert(GetRebasedPointer(iter, oldMap, newMap)); > } > > SeenPackages->swap(tmp); >
next prev parent reply other threads:[~2019-12-10 8:18 UTC|newest] Thread overview: 34+ messages / expand[flat|nested] mbox.gz Atom feed top 2019-12-06 13:16 [devel] [PATCH for apt 1/2] Add option for debugging DynamicMMap::Allocate Aleksei Nikiforov 2019-12-06 13:16 ` [devel] [PATCH for apt 2/2] Fix pointer arithmetics Aleksei Nikiforov 2019-12-06 13:36 ` Ivan A. Melnikov 2019-12-06 15:32 ` Aleksei Nikiforov 2019-12-06 15:36 ` [devel] [PATCH for apt 2/2 v2] " Aleksei Nikiforov 2019-12-07 14:52 ` Andrey Savchenko 2019-12-08 22:56 ` Dmitry V. Levin 2019-12-09 6:54 ` Aleksei Nikiforov 2019-12-12 19:20 ` Andrey Savchenko 2019-12-13 7:58 ` Aleksei Nikiforov 2019-12-08 23:21 ` Dmitry V. Levin 2019-12-09 7:08 ` Aleksei Nikiforov 2019-12-10 0:07 ` Dmitry V. Levin 2019-12-10 8:18 ` Aleksei Nikiforov 2019-12-10 10:20 ` Dmitry V. Levin 2019-12-10 10:58 ` Aleksei Nikiforov 2019-12-10 22:20 ` Dmitry V. Levin 2019-12-11 7:50 ` Aleksei Nikiforov 2019-12-12 19:43 ` Andrey Savchenko 2019-12-13 8:01 ` Aleksei Nikiforov 2019-12-08 23:31 ` [devel] [PATCH for apt 2/2] " Dmitry V. Levin 2019-12-09 7:09 ` Aleksei Nikiforov 2019-12-09 7:16 ` [devel] [PATCH for apt 2/2 v3] " Aleksei Nikiforov 2019-12-09 23:54 ` [devel] [PATCH apt 0/3] Fix 0.5.15lorg2-alt70~9 fallout Dmitry V. Levin 2019-12-09 23:56 ` [devel] [PATCH apt 1/3] apt-pkg/cacheiterators.h: revert #include <set> Dmitry V. Levin 2019-12-09 23:56 ` [devel] [PATCH apt 2/3] apt-pkg/contrib/mmap.cc: revert confusing change of Flags to this->Flags Dmitry V. Levin 2019-12-09 23:56 ` [devel] [PATCH apt 3/3] Fix UB in pointer arithmetic Dmitry V. Levin 2019-12-10 8:18 ` Aleksei Nikiforov [this message] 2019-12-08 22:50 ` [devel] [PATCH for apt 1/2] Add option for debugging DynamicMMap::Allocate Dmitry V. Levin 2019-12-09 6:58 ` Aleksei Nikiforov 2019-12-09 10:24 ` Dmitry V. Levin 2019-12-09 11:03 ` [devel] [PATCH for apt 1/2 v3] Add Debug::DynamicMMap::Allocate option Aleksei Nikiforov 2019-12-09 22:59 ` Dmitry V. Levin 2019-12-09 7:00 ` [devel] [PATCH for apt 1/2 v2] Add option for debugging Debug::DynamicMMap::Allocate Aleksei Nikiforov
Reply instructions: You may reply publicly to this message via plain-text email using any one of the following methods: * Save the following mbox file, import it into your mail client, and reply-to-all from there: mbox Avoid top-posting and favor interleaved quoting: https://en.wikipedia.org/wiki/Posting_style#Interleaved_style * Reply using the --to, --cc, and --in-reply-to switches of git-send-email(1): git send-email \ --in-reply-to=ffc22c75-bc2e-27c5-e304-6a060c707f74@altlinux.org \ --to=darktemplar@altlinux.org \ --cc=devel@lists.altlinux.org \ /path/to/YOUR_REPLY https://kernel.org/pub/software/scm/git/docs/git-send-email.html * If your mail client supports setting the In-Reply-To header via mailto: links, try the mailto: link
ALT Linux Team development discussions This inbox may be cloned and mirrored by anyone: git clone --mirror http://lore.altlinux.org/devel/0 devel/git/0.git # If you have public-inbox 1.1+ installed, you may # initialize and index your mirror using the following commands: public-inbox-init -V2 devel devel/ http://lore.altlinux.org/devel \ devel@altlinux.org devel@altlinux.ru devel@lists.altlinux.org devel@lists.altlinux.ru devel@linux.iplabs.ru mandrake-russian@linuxteam.iplabs.ru sisyphus@linuxteam.iplabs.ru public-inbox-index devel Example config snippet for mirrors. Newsgroup available over NNTP: nntp://lore.altlinux.org/org.altlinux.lists.devel AGPL code for this site: git clone https://public-inbox.org/public-inbox.git