Re: Solvers!

[nnp <version5 () gmail com>]

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 () 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 () lists immunitysec com
> http://lists.immunitysec.com/mailman/listinfo/dailydave
_______________________________________________
Dailydave mailing list
Dailydave () lists immunitysec com
http://lists.immunitysec.com/mailman/listinfo/dailydave