Re: Solvers!

[dave <dave () immunityinc com>]

-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA1

That's good stuff - the other place that comes in handy is when building
things like DEPLIB, which basically does that for all code segments
ending in ret, then solves to see which ones you want to chain together
to do what you want to do.

- -dave


Julio Auto wrote:
> 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 () gmail com
> <mailto:version5 () 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 () immunityinc com
>     <mailto:dave () immunityinc com>> wrote:
> 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
_______________________________________________
Dailydave mailing list
Dailydave () lists immunitysec com
>     <mailto:Dailydave () lists immunitysec com>
http://lists.immunitysec.com/mailman/listinfo/dailydave
>     >
>     _______________________________________________
>     Dailydave mailing list
>     Dailydave () lists immunitysec com <mailto: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

-----BEGIN PGP SIGNATURE-----
Version: GnuPG v1.4.9 (GNU/Linux)
Comment: Using GnuPG with Fedora - http://enigmail.mozdev.org

iEYEARECAAYFAksqoIwACgkQtehAhL0gheoM1wCfcLKNhVOexGJVA6aJAtcXzhwh
pa4AnA7lMEgT72SvmP2tvHVDzKcHMIS+
=rh3p
-----END PGP SIGNATURE-----
_______________________________________________
Dailydave mailing list
Dailydave () lists immunitysec com
http://lists.immunitysec.com/mailman/listinfo/dailydave