similar to: [GSOC 2018] Clang Static Analyzer

Hello all, My name is Ashish Kumar Gahlot and I am a final year undergraduate student of Engineering College Ajmer(Rajasthan, India) majoring in Computer Science. I am interested in working on project *Integrate with Z3 SMT solver to reduce false positives *for GSOC 2018. I am having experience with SMT solvers as I play CTFs and have used z3 to solve reverse engineering problems. How can I

Hello all, My name is Ashish Kumar Gahlot and I am a final year undergraduate student of Engineering College Ajmer(Rajasthan, India) majoring in Computer Science. I am interested in working on project *Integrate with Z3 SMT solver to reduce false positives *for GSOC 2018. I am having experience with SMT solvers as I play CTFs and have used z3 to solve reverse engineering problems. How can I

hi, i am Mintoo Kumar ,2nd year computer engg. undergraduate at NSIT,delhi unversity, india .i am a beginner to open source and want to contribute for open source community.i am coding in c/c++ since last 2 years.and i have experience of coding in python,java,html,css,php,xml as well.i would like to work on the project "Icecast configuration interface". thank you ! -------------- next

Hi I want to pursue a project based to improve the existing KCoFI method which is the Control Flow integrity method for commodity os. Since KCoFI is a llvm based project I plan to undertake the project to improve the existing KCoFI method. Following are the improvements that I want to pursue: 1. To improve the call graph used in KCoFI. Implement a stronger call graph. 2. Port the KCoFI to

Hello everyone! I'm Ayush Tomar, junior undergrad in Computer Science from New Delhi, India. I love C++ coding and working on machine learning and information retrieval project. I was exploring the GSoC ideas for Xapian and the project on "Adding Weighting Schemes" looked really interesting to me. I wanted to work on text mining/IR this summer and this idea seems perfect! I have

Hi, all I wanted to fetch data from Bloomberg for govt bonds, and analyse it further. I am having trouble in getting data as when I use field=PX_LAST, it is giving the prices but when I use field=CPN, or ISSUE_DT, it is not giving the results and just bouncing back <NA> for that. This is the piece of code: > library(rJava) Warning message: package 'rJava' was built

Dear all, I was hoping someone could help with a ggplot question. I would like to generate a faceted bar chart, but missing data are causing problems. g<-structure(list(Date = structure(c(11322, 11687, 12052, 11322, 11687, 12052, 11322, 11687, 12052, 11322, 11687, 12052), class = "Date"), variable = c("Govt Revenues to GDP", "Govt Revenues to GDP",

Hello llvm-dev I am Sunil Mayya studying Masters in Electrical and computer engineering at TU Kaiserslautern Germany. I am having few C++ programming experience with the industry and use clang static analyzer for my project. I am interested in the project "Create a checker for dangling string pointers in C+" I have C++11 and C++14 knowledge. I have started browsing through the source

Hello all, This is in reference to "Learning to Rank" Project Idea. [I know, i made the entry a bit late, but hope you are still in interest to help out] I am looking for suggestions to help me narrowing down the choices of algorithms. I had been readily surveying on the referred algorithms for the purpose of choosing the right one. I am mentioning here some of my doubts to discuss and

Has anyone written any code for the Hodrick-Prescott filter? I have a some uncompiled FORTRAN code from Ed Prescott but I'd like to save myself some programming time if possible. Thanks for your help. Nick Davis Crown Financial Policy Asset and Liability Management Branch The New Zealand Treasury Direct: +64-4-471-5924 Fax: +64-4-499-0143 Email:

Hi R Users I am working with the very useful SNA package (v.2.2) in R and have a query I hope you may be able to help out with: I have been using gplot commands to plot an SNA graph. Here's the code and output: library(sna); library(network); library(RODBC) setwd("c:\\temp") x = read.csv(file = "testforr.csv") Total.Sold=c(1,3,6,1,3,6,1,3,6,6,9) src=c(1:10,1)

Greetings, Does anyone know of an R code for classification and regression tree analysis (CART)? Thank you Ron Ron Thornton BVSc, PhD, MACVSc (pathology, epidemiology) Programme Co-ordinator, Active Surveillance Animal Biosecurity MAF Biosecurity Authority P O Box 2526 Wellington, New Zealand phone: 64-4-4744156 027 223 7582 fax: 64-4-474-4133 e-mail: ron.thornton at maf.govt.nz

Hello everybody i am Ashish here. i am new to this mailing list. so dont know rules and regulation, just trying to post my problem of voicemail.conf Actuallt right now i am using Asterisk 1.2 on my LAN environment. i am able to call all my extension very nicely. Right now i am trying to deploying voicemail facility for all extensions, so if anybody is not present, then he/she can leave message,

Hi Yalan and Michal, Thank you for your response. So what I understand is that I can change rx_queue size even if I use direct type interface and qemu driver as long as the driver is virtio. Am I right? If that is the case why am I getting the error saying that error: XML document failed to validate against schema: Unable to validate doc against /usr/share/libvirt/schemas/domain.rng Extra

I have 3 packages on CRAN that I developed with my govt email address. I'll be retiring in a month and that email address will no longer work at some point. I realize that I need to change the maintainer address and I've already done that with one package but my question is do I need to remove all references to my govt email address listed as author in various files and replace with my

Hi Yalan, In the previous email you mentioned "tx_queue_size='512' will not work in the guest with direct type interface, in fact, no matter what you set, it will not work and guest will get the default '256'. " So if I am using macvtap for my interfaces, then the device type will always be direct type. Does it mean that there is no way I can increase the buffer size

Hi: I want to obtain a particular value from a data.frame. Following is my dataframe: > Quotes BID ASK Name CT2 GOVT 99.92969 99.9375 CT2 TUM0 COMDTY 108.53125 108.5469 TUM0 CT5 GOVT 100.10156 100.1094 GT5 FVM0 COMDTY 115.56250 115.5703 FVM0 TYM0 COMDTY 116.93750 116.9531 TYM0 If I try to run: QuoteTUM0BID = Quotes[Quotes$Name %in%

No, this is not the case. Just because you compile something to LLVM IR does not make the thing you compiled work on every architecture. You may even be able to retarget it to any architecture (it depends), but this in no way means the result will *actually work*. The LLVM IR generated by llvm-gcc is very architecture dependent. Theoretically you could make a C compiler that was mostly C

Hi Ashish, IMO, it is yes, no way to increase tx_queue_size for direct type interface ------- Best Regards, Yalan Zhang IRC: yalzhang Internal phone: 8389413 On Thu, Oct 26, 2017 at 3:38 PM, Ashish Kurian <ashishbnv@gmail.com> wrote: > Hi Yalan, > > In the previous email you mentioned "tx_queue_size='512' will not work in > the guest with direct type

Hi In my previous mail I mentioned the project on KCoFI( the control FLow integrity methods for commodity hardware http://sva.cs.illinois.edu/pubs/KCoFI-Oakland-2014.pdf ). Will it be more helpful to the community if I do the improvements number #1 and #3 mentioned in my previous mail to the mailing list or if i try to port it to arm architecture? I have decided to go ahead with the improvements