comp.lang.ada
 help / color / mirror / Atom feed
* Ada source code obfuscator
@ 2008-01-19 23:28 okellogg
  2008-01-20 11:26 ` Simon Wright
  2008-01-20 15:23 ` anon
  0 siblings, 2 replies; 7+ messages in thread
From: okellogg @ 2008-01-19 23:28 UTC (permalink / raw)


Does anyone know of a free obfuscator for Ada source code?

(I hit a memory thrashing bug in FSF gcc-4.[1-3] that requires a large
amount of proprietary code to reproduce. As soon as I remove stuff
from the test case the memory hog goes away. I'd like to post a bug
report to GCC bugzilla but would need to obfuscate the source code.)

Thanks,

Oliver



^ permalink raw reply	[flat|nested] 7+ messages in thread

* Re: Ada source code obfuscator
  2008-01-19 23:28 Ada source code obfuscator okellogg
@ 2008-01-20 11:26 ` Simon Wright
  2008-01-21  7:36   ` okellogg
  2008-01-20 15:23 ` anon
  1 sibling, 1 reply; 7+ messages in thread
From: Simon Wright @ 2008-01-20 11:26 UTC (permalink / raw)


okellogg <okellogg@freenet.de> writes:

> Does anyone know of a free obfuscator for Ada source code?

No, but J-P Rosen's AdaSubst see http://www.adalog.fr/adalog2.htm)
might form a basis?



^ permalink raw reply	[flat|nested] 7+ messages in thread

* Re: Ada source code obfuscator
  2008-01-19 23:28 Ada source code obfuscator okellogg
  2008-01-20 11:26 ` Simon Wright
@ 2008-01-20 15:23 ` anon
  2008-01-20 17:09   ` Gautier
  1 sibling, 1 reply; 7+ messages in thread
From: anon @ 2008-01-20 15:23 UTC (permalink / raw)


Ada was designed not to allow "obfuscation" of its code.

The only way to protect your proprietary code is to use a close source 
version of Ada like Green-Hill, IBM Ada compiler which is based on 
Ada 95 spec. Compile the program and only distribute the binary version.

For Adacores GNAT version compilers, unless you are using GNAT PRO,  
you must supply the source code with the binary. See the FAQ page at 
Adacore. It states that all code create by the GNU/GPL version of GNAT 
must be license under the GPL. Which means that the source must be 
made available to the users of the code.

In <bce765d6-c3be-4849-9911-e89608a11880@v46g2000hsv.googlegroups.com>, okellogg <okellogg@freenet.de> writes:
>Does anyone know of a free obfuscator for Ada source code?
>
>(I hit a memory thrashing bug in FSF gcc-4.[1-3] that requires a large
>amount of proprietary code to reproduce. As soon as I remove stuff
>from the test case the memory hog goes away. I'd like to post a bug
>report to GCC bugzilla but would need to obfuscate the source code.)
>
>Thanks,
>
>Oliver




^ permalink raw reply	[flat|nested] 7+ messages in thread

* Re: Ada source code obfuscator
  2008-01-20 15:23 ` anon
@ 2008-01-20 17:09   ` Gautier
  2008-01-20 19:21     ` Larry Kilgallen
  0 siblings, 1 reply; 7+ messages in thread
From: Gautier @ 2008-01-20 17:09 UTC (permalink / raw)


I'm afraid you may have misunderstood Oliver's need. His Ada compiler seems to 
produce memory-leaking code on a very specific situation, which involves 
proprietary code, and he wants to report this bug with source code so that the 
compiler maintainers can reproduce this problem. It is not about distributing 
source code to customers. And if his compiler was Green-Hills or IBM, the 
situation would be exactly the same: Green-Hills or IBM would say: "Are you sure 
it is a bug of ours ? Could you please send an example of sources which shows 
this problem ?". The obfuscation needed here consists in replacing each 
identifier like "Send_money", "Launch_missile" or 
"The_solution_to_all_problems",... by I29684, I29685, I29686,...
G.

anon wrote:
> Ada was designed not to allow "obfuscation" of its code.
> 
> The only way to protect your proprietary code is to use a close source 
> version of Ada like Green-Hill, IBM Ada compiler which is based on 
> Ada 95 spec. Compile the program and only distribute the binary version.
 >
> For Adacores GNAT version compilers, unless you are using GNAT PRO,  
> you must supply the source code with the binary. See the FAQ page at 
> Adacore. It states that all code create by the GNU/GPL version of GNAT 
> must be license under the GPL. Which means that the source must be 
> made available to the users of the code.
> 
> In <bce765d6-c3be-4849-9911-e89608a11880@v46g2000hsv.googlegroups.com>, okellogg <okellogg@freenet.de> writes:

>> Does anyone know of a free obfuscator for Ada source code?
>>
>> (I hit a memory thrashing bug in FSF gcc-4.[1-3] that requires a large
>> amount of proprietary code to reproduce. As soon as I remove stuff
>>from the test case the memory hog goes away. I'd like to post a bug
>> report to GCC bugzilla but would need to obfuscate the source code.)
>>
>> Thanks,
>>
>> Oliver
______________________________________________________________
Gautier         -- http://www.mysunrise.ch/users/gdm/index.htm
Ada programming -- http://www.mysunrise.ch/users/gdm/gsoft.htm



^ permalink raw reply	[flat|nested] 7+ messages in thread

* Re: Ada source code obfuscator
  2008-01-20 17:09   ` Gautier
@ 2008-01-20 19:21     ` Larry Kilgallen
  2008-01-20 19:37       ` okellogg
  0 siblings, 1 reply; 7+ messages in thread
From: Larry Kilgallen @ 2008-01-20 19:21 UTC (permalink / raw)


In article <47938035$1_5@news.bluewin.ch>, Gautier <gautier@fakeaddress.nil> writes:
> I'm afraid you may have misunderstood Oliver's need. His Ada compiler seems to 
> produce memory-leaking code on a very specific situation, which involves 
> proprietary code, and he wants to report this bug with source code so that the 
> compiler maintainers can reproduce this problem. It is not about distributing 
> source code to customers. And if his compiler was Green-Hills or IBM, the 
> situation would be exactly the same: Green-Hills or IBM would say: "Are you sure 
> it is a bug of ours ? Could you please send an example of sources which shows 
> this problem ?". The obfuscation needed here consists in replacing each 
> identifier like "Send_money", "Launch_missile" or 
> "The_solution_to_all_problems",... by I29684, I29685, I29686,...

But to get a rapid solution from a vendor often requires providing a
_simple_ reproducer.  There is often no easy way to do that.



^ permalink raw reply	[flat|nested] 7+ messages in thread

* Re: Ada source code obfuscator
  2008-01-20 19:21     ` Larry Kilgallen
@ 2008-01-20 19:37       ` okellogg
  0 siblings, 0 replies; 7+ messages in thread
From: okellogg @ 2008-01-20 19:37 UTC (permalink / raw)


On Jan 20, 8:21 pm, Kilgal...@SpamCop.net (Larry Kilgallen) wrote:
>
> But to get a rapid solution from a vendor often requires providing a
> _simple_ reproducer.  There is often no easy way to do that.

Agreed. Fortunately I have a workaround and do not depend on the fix.
So my motivation in submitting a PR is as Gautier explained (let the
compiler people know there's a problem)

Oliver



^ permalink raw reply	[flat|nested] 7+ messages in thread

* Re: Ada source code obfuscator
  2008-01-20 11:26 ` Simon Wright
@ 2008-01-21  7:36   ` okellogg
  0 siblings, 0 replies; 7+ messages in thread
From: okellogg @ 2008-01-21  7:36 UTC (permalink / raw)


On Jan 20, 12:26 pm, Simon Wright <simon.j.wri...@mac.com> wrote:
>
> > Does anyone know of a free obfuscator for Ada source code?
>
> No, but J-P Rosen's AdaSubst seehttp://www.adalog.fr/adalog2.htm)
> might form a basis?

Very interesting, thanks for the pointer.
I solved the problem using a little perl hack (the result can be seen
at http://gcc.gnu.org/bugzilla/attachment.cgi?id=14985&action=view)
but if I have more of these problems then I'll probably switch to
AdaSubst.

Oliver



^ permalink raw reply	[flat|nested] 7+ messages in thread

end of thread, other threads:[~2008-01-21  7:36 UTC | newest]

Thread overview: 7+ messages (download: mbox.gz / follow: Atom feed)
-- links below jump to the message on this page --
2008-01-19 23:28 Ada source code obfuscator okellogg
2008-01-20 11:26 ` Simon Wright
2008-01-21  7:36   ` okellogg
2008-01-20 15:23 ` anon
2008-01-20 17:09   ` Gautier
2008-01-20 19:21     ` Larry Kilgallen
2008-01-20 19:37       ` okellogg

This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox