coq-club AT inria.fr

Subject: The Coq mailing list

List archive

Re: [Coq-Club] is it normal [firstorder] to hang on simple testcase?

From: Alexandre Pilkiewicz <alexandre.pilkiewicz AT polytechnique.org>
To: Georgi Guninski <guninski AT guninski.com>
Cc: david.baelde AT ens-lyon.org, Pierre Corbineau <Pierre.Corbineau AT imag.fr>, coq-club AT inria.fr
Subject: Re: [Coq-Club] is it normal [firstorder] to hang on simple testcase?
Date: Thu, 26 May 2011 15:17:58 +0200
Domainkey-signature: a=rsa-sha1; c=nofws; d=gmail.com; s=gamma; h=mime-version:sender:in-reply-to:references:from:date :x-google-sender-auth:message-id:subject:to:cc:content-type; b=iBR6x5F6mdfHmgqSihpWZQ/a9VUAsfD1Ame94HBnavxjimUgf3L+0cgeOsChJgW8dR cklW37dsDP/wKV0GlDrcXiJImO0Q7+3LUyqt6GBRtCJbBKt210x/UNY4vEvaPubp9zl+ owf7b0J7C3hJQxCW7VmnYwHaD5WIIFjUs9Thw=

2011/5/25 Georgi Guninski
<guninski AT guninski.com>:
>
> if the last message is real it is hacker's dream (not counting the plugin
> feature of coq) :)

It is not a hacker dream, because the memory is not corrupted. It is
just the "normal" signal for a stack overflow, it is not something an
attacker could exploit (except for denial of service)

[Coq-Club] is it normal [firstorder] to hang on simple testcase?, Georgi Guninski
- Re: [Coq-Club] is it normal [firstorder] to hang on simple testcase?, Pierre Corbineau
  - Re: [Coq-Club] is it normal [firstorder] to hang on simple testcase?, Georgi Guninski
    - Re: [Coq-Club] is it normal [firstorder] to hang on simple testcase?, Jean-Francois Monin
      - Re: [Coq-Club] is it normal [firstorder] to hang on simple testcase?, Georgi Guninski
    - Re: [Coq-Club] is it normal [firstorder] to hang on simple testcase?, Pierre Corbineau
      - Re: [Coq-Club] is it normal [firstorder] to hang on simple testcase?, Georgi Guninski
        
        Re: [Coq-Club] is it normal [firstorder] to hang on simple testcase?, David Baelde
        
        Re: [Coq-Club] is it normal [firstorder] to hang on simple testcase?, Georgi Guninski
        
        Re: [Coq-Club] is it normal [firstorder] to hang on simple testcase?, David Baelde
        
        Re: [Coq-Club] is it normal [firstorder] to hang on simple testcase?, Alexandre Pilkiewicz
        
        Re: [Coq-Club] is it normal [firstorder] to hang on simple testcase?, Stéphane Glondu