search for: concole

Hi I need a concolic execution framework based on LLVM. As far as I know, KLEE might be the best choice. However, KLEE(the stable version) is based on LLVM 3.4. I compiled my code with the latest LLVM, whose version is 7.0. Anyone know whether the bitcode could be used by KLEE. Or do I have to compile with the old version of LLVM again. Furthermore, if you have any other concolic execution

Hi Can anyone with distinctive ring on their 7960's possibly post how they've got it to work? I understand that the ALERT_INFO variable is involved but using the examples for the variable value from the WiKi I'm just getting an error message from the Asterisk concole. Thanks in advance. P

...I (think) I am specifying. I am having it post to /channels/assocboxchange/" with certain parameters, but the method in my controller never is gotten to. I know the problem is not in my js or in making the post request -- it is posting somewhere and I believe that because in firefox, the error concole is clean. Can someone tell me from my js below where I am posting, or why my controller method isnt getting the post? Thanks, Janna B //this function is getting called by an onchange in the associates select function assocchange(therow){ var s = document.getElementById("assoc"+therow...

Hello, I am very new to llvm, but I need to have a fully working llvm / llvm-gcc system built and running on my fedora 21 virtual machine so I can perform some concolic testing with stp. I have installed all upgrades to fedora 21 using yum upgrade. I was able to compile and install llvm fine from the svn repository. I checked out llvm-gcc-4.2 from the repository (revision 234124). I ran

I've had a interesting day with R; can anyone offer any advice? First with R 1.8.1. on XP Pro: "R for Windows GUI front-end has encountered a problem and needs to close. We are sorry for the inconvenience." I then tried installing 1.9.0. and got the "information" dialogue: "Fatal error: INVALID HOMEDRIVE" instead of a functioning R! I attempted to set

I do not have any zaptel hardware on the Asterisk box, I could not have meetme functioning. I did modify the Makefile in zaptel directory on line 168 by including ztdummy as one of the modules to compile in. The error message from the concole: -- Executing MeetMe("SIP/1002-e9ca", "4700") in new stack == Parsing '/etc/asterisk/meetme.conf': Found WARNING[1209214400]: File app_meetme.c, Line 162 (build_conf): Unable to open ps eudo channel Could anyone confirm that meetme will not working without Zapte...

...in my model : unless connected? establish_connection( :adapter => "odbc", :dsn => "TM_Reporting_00001", :username => "<name>", :password => "<passwd>" ) end When I call this via the concole, I get a " unknown adapter" error. I''ve checked and an odbc file is included. Can someone help me with this? -- Best Regards, -Larry "Work, work, work...there is no satisfactory alternative." --- E.Taft Benson -------------- next part -------------- An HT...

...y of R and I've runn it and it appears //ready to answer the querie// and i've installed the Jrclient and I've put it on the desktop in the directory Jrclient and i've installed JDK and sur I'have the R language. Now when I compile the Jrclient exeamples : I've opened the concole commande and I tape : javac c:\....\Jrclient\examples\tt.java,but an error appreas: package org.rosuda.JRclient does not exist , I think that I should change the path of somthing but I don't know what, I'm beginner and there is no steps how to apply the examples... could you please help...

Hello, Great job on the Asterisk@home project. Looks great this new version is really nicer looking. But I have a few questions. 1) For the new web access http://localIP/maint how and where do I change the password. 2) Since I don't use the Amp section for setup the .conf files I use my own. How do I get the asterisk server running status up. I have it running and works but shows up as not