search for: concol

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 v...

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"+thero...

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 configure as: $ ../llvm-gcc/configure --program-prefix=llvm- --enable-llvm...

...uot;Fatal error: INVALID HOMEDRIVE" instead of a functioning R! I attempted to set HOMEPATH via XP user accounts and advanced...- but all I still have is the following: Microsoft Windows XP [Version 5.1.2600] (C) Copyright 1985-2001 Microsoft Corp. C:\>set home HOMEDRIVE=C: HOMESHARE=\\concol\concol$ , and the startup directory is the standard "C:\Program Files\R\rw1090"? Help would be most welcome!

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 Zapt...

...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 H...

...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 hel...

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