Logiciels What If

Products formerly supported here are now supported on new site

These products are now supported here:  http://cloudsecurity.intel.com/

Please click on the "Contact Us" link for support options.

Regards, Hal G
Intel(R) Developer Zone Support http://software.intel.com
*Other names and brands may be claimed as the property of others.


iaca: manually specify start/stop address


This looks like a great tool!

But unfortunately I can't use for the cases that I wanted to try it on. The problem is with source code annotations. One case is a pre-built binary and another case is a program written in Go, and in Go one can't emit assembly. It would be great if the tool would support objdump-like flags to denote start/end of the analyzed region:

$ ./iaca.sh --start-address=0x123 --stop-address=0x456

Would that be possible to do? Looks easy to implement.


I. From Rice University

  1. Prof. John Mellor-Crummey's talk at Supercomputing 2014 (see PinPlay description on slides 6-8):
    Introduction to Correctness and Performance Tools for Parallel Programming. The International Conference for High Performance Computing, Networking, Storage and Analysis (SC14). Experiencing HPC for Undergraduates: Introduction to HPC Research. New Orleans, LA. November, 2014. 
  • Développeurs
  • Partenaires
  • Professeurs
  • Étudiants
  • Logiciels What If
  • Pin
  • Débogage
  • Outils de développement
  • Informatique parallèle
  • Parallélisation
  • Intel ESG

    I have a requirement where the incoming message to the Intel ESG is a SOAP with Attachment(SwA) message. The attachment is a .csv file. The ESG has to take the attachment file and place it in the SFTP folder.

    Can someone please help on dealing with the attachment file ? I tried the function get-attachment(ma_key,attachment_position) whose return type is mentioned as Document Object. Not sure how to handle this further.

    Express Service Gateway - SSL Security without Client Cert.


    We have setup an invocation agent to call a third party web service which runs on https.

    [Internet] >> Input Server >> Invocation Agent >>ssl>> [ThirdParty Host]

    Once handshake is done, the external server sends the server certificate to ESG.

    This is followed by ESG sending the client certificate (Asymetric keys, configured under Security Configuration) to the remote server.

    S’abonner à Logiciels What If