[Dailydave] Solvers!

[Julio Auto]

Bringing back an old thread...

I have just found time to write some notes inspired by one of Halvar's
challenges in that presentation. Absolutely not related to solvers or static
analysis, though: http://www.julioauto.com/rants/code_normal.htm

Any feedback is appreciated :)

    Julio Auto

On Thu, Oct 22, 2009 at 9:40 AM, nnp <version5 at gmail.com> wrote:

> The architecture and design of the basic algorithm behind most solvers
> we use for input generation was first described in 1960 (the DPLL
> algorithm) so I think we're safe from the patent mongers there ;-) As
> for the logic-specific parts of the solvers, most are described in
> academic papers spanning the last 40 years so I presume that
> constitutes 'prior art'.
>
> I don't know of anybody working on designing or implementing the
> modern crop of SMT solvers that has tried to, or intends to try to,
> patent their algorithms but if I'm wrong I'd be interested to hear.
> Patenting that sort of work can never be good. All of the leading
> solvers are available for download here
> http://www.smtexec.org/exec/?jobs=529 , in case anyone wants to go
> play.
>
> On Wed, Oct 21, 2009 at 10:14 PM, dave <dave at immunityinc.com> wrote:
> > -----BEGIN PGP SIGNED MESSAGE-----
> > Hash: SHA1
> >
> > I'm trying to get a django app built so I can demo some of our new tech,
> > but it's slow going. In the meantime today's extra credit reading and
> > viewing:
> >
> > http://seanhn.wordpress.com/ (solver->exploits blog and paper)
> >
> >
> http://media.blackhat.com/bh-usa-06/video/2006_BlackHat_Vegas-V7-Halvar_Flake-Need_New_Tools.mp4
> >
> > That's probably Halvar's best talk - in it he chats about solving input
> > crafting issues with large equation solvers (from 2006 so will perhaps
> > bust some evil software patents, if that's your sort of thing). But in
> > general, just worth a second viewing.
> >
> > - -dave
> >
> > -----BEGIN PGP SIGNATURE-----
> > Version: GnuPG v1.4.9 (GNU/Linux)
> > Comment: Using GnuPG with Fedora - http://enigmail.mozdev.org
> >
> > iEYEARECAAYFAkrfeZkACgkQtehAhL0ghepuPACZAdeYsAH6tkM6ww3aej9NgZ+d
> > m2cAn033RGHOsnDwM7PfpYVeAJByjCx7
> > =i6+r
> > -----END PGP SIGNATURE-----
> > _______________________________________________
> > Dailydave mailing list
> > Dailydave at lists.immunitysec.com
> > http://lists.immunitysec.com/mailman/listinfo/dailydave
> >
> _______________________________________________
> Dailydave mailing list
> Dailydave at lists.immunitysec.com
> http://lists.immunitysec.com/mailman/listinfo/dailydave
>
-------------- next part --------------
An HTML attachment was scrubbed...
URL: http://lists.immunitysec.com/pipermail/dailydave/attachments/20091217/8a4e7d64/attachment.htm