search for: visibililty

...ult), and thus, this > is okay. We also don't model the possibility of someone hex-editing the > binary ;) > I'm not really okay with it; the current behavior feels unprincipled. We have a visibility attribute which can be used to control this: On ELF systems, "default" visibililty allows interposition (unlike on Darwin) -- that is, it explicitly ALLOWS for replacing the symbol's definition. The policy of "You can't replace the definition of the symbol, but it is globally visible" is exactly what the "protected" visibility mode is for. If we want...

----- Original Message ----- > From: "James Y Knight via llvm-dev" <llvm-dev at lists.llvm.org> > To: "Sanjoy Das" <sanjoy at playingwithpointers.com> > Cc: "llvm-dev" <llvm-dev at lists.llvm.org> > Sent: Thursday, February 25, 2016 1:41:43 PM > Subject: Re: [llvm-dev] Possible soundness issue with > available_externally (split

..., this is okay. We also don't model the possibility of > > someone hex-editing the binary ;) > > I'm not really okay with it; the current behavior feels unprincipled. > We have a visibility attribute which can be used to control this: On > ELF systems, "default" visibililty allows interposition (unlike on > Darwin) -- that is, it explicitly ALLOWS for replacing the symbol's > definition. The policy of "You can't replace the definition of the > symbol, but it is globally visible" is exactly what the "protected" > visibility mode...

...f > > > someone hex-editing the binary ;) > > > > > I'm not really okay with it; the current behavior feels > > unprincipled. > > > We have a visibility attribute which can be used to control this: > > On > > ELF systems, "default" visibililty allows interposition (unlike on > > Darwin) -- that is, it explicitly ALLOWS for replacing the symbol's > > definition. The policy of "You can't replace the definition of the > > symbol, but it is globally visible" is exactly what the "protected" > &...

...ay. We also don't model the possibility of someone hex-editing >> the binary ;) >> > > I'm not really okay with it; the current behavior feels unprincipled. > > We have a visibility attribute which can be used to control this: On ELF > systems, "default" visibililty allows interposition (unlike on Darwin) -- > that is, it explicitly ALLOWS for replacing the symbol's definition. The > policy of "You can't replace the definition of the symbol, but it is > globally visible" is exactly what the "protected" visibility mode is fo...

...ay. We also don't model the possibility of someone hex-editing >> the binary ;) >> > > I'm not really okay with it; the current behavior feels unprincipled. > > We have a visibility attribute which can be used to control this: On ELF > systems, "default" visibililty allows interposition (unlike on Darwin) -- > that is, it explicitly ALLOWS for replacing the symbol's definition. The > policy of "You can't replace the definition of the symbol, but it is > globally visible" is exactly what the "protected" visibility mode is fo...

...eels > > > > > unprincipled. > > > > > > > > > > > > > > > We have a visibility attribute which can be used to control > > > > > this: > > > > > On > > > > > ELF systems, "default" visibililty allows interposition > > > > > (unlike > > > > > on > > > > > Darwin) -- that is, it explicitly ALLOWS for replacing the > > > > > symbol's > > > > > definition. The policy of "You can't replace the definition &...