similar to: [LLVMdev] Close the extension for lib functions?

I want to find buffer overflows from general C programs, a bit like SAFECode :). To quicken the dataflow analysis, I wished to slice operands of character strings from C program using pgmdepgraph, but now, I thought I have to use def-use and use-def chain. Do you think it has any sense? Xia ______________________________________ ע������30��������䣨 http://mail.sina.com.cn/chooseMode.html ��

I want to use PgmDependenceGraph pass , but my pass cannot work with PgmDependenceGraph. I tried again in Hello2 pass, and it could not work also. The following is I did with llvm/lib/Transforms/Hello.cpp: 1.insert #include "llvm/Analysis/PgmDependenceGraph.h" in Hello.cpp. 2.insert AU.addRequired<PgmDependenceGraph>() in the getAnalysisUsage(AnalysisUsage &AU) of Hello2.

Hi, When I compile httpd-2.0, llvmgcc reports many struct types and macros undeclared, but gnu-gcc can compile httpd-2.0 completely.

Hi, Chris I get a new PostDominanceFrontier class by combinating the code of PostDominanceSet/PostDominanceTree/PostDominanceFrontier FunctionPasses. It works very well. BTW: Why the PostDominanceFrontier FunctionPasses does not use the formal argument in runOnFunction(Function &)? Does it gets the Function from PassManager? Thank you. Xia >On Thu, 9 Sep 2004, xia_yimin wrote: >

Hi Has anybody tell me how to create some new type qualifies in LVM? A type qualify, like "const" in C, is useful for program analysis. I hope that I can set/get the type qualify of any value in a program analysed. Or, if I could add a property to the value class and set/get the property, it is same to add some new type qualifies. So, I simply insert a "int" private

Hi I hope to use the getAliasSetForPointer(Value *p, unsigned size), the method of AliasSetTracker class, but I donot known what meaning is the argument "size". May somebody tell me? Thanks. Xia ______________________________________ ע������30��������䣨 http://mail.sina.com.cn/chooseMode.html �� ===================================================================

I can use the interfaces of AliasAnalysis in my pass, but how to specify the underlaying pass of AliasAnalysis is DSAA? Thanks. Xia ______________________________________ ע������30��������䣨 http://mail.sina.com.cn/chooseMode.html �� =================================================================== 15��HPѸ�۱ʼDZ���ǧԪ,����ǧԪ������� (http://ad4.sina.com.cn/wx/ads/hpzhui823.html)

When analysing a function "fn", my FunctionPass needs some PostDominanceFrontier information of functions which are called by function "fn". getAnalysis<PostDominanceFrontier>() cannot give the information, because it only gives the PostDominanceFrontier information of "fn", not the PostDominanceFrontier information of functions called by "fn".

The llvm I using is llvm-1.2, its cfrontend should be based on gcc-3.4, the system I using is RedHat Linux 9.0, I desire to compile httpd-2.0.51. Xia ______________________________________ ע������30��������䣨 http://mail.sina.com.cn/chooseMode.html �� =================================================================== ��ɽ��կ���������������ջ�֮�ã�

On Mon, 2004-07-121 at 00:51, Reid Spencer wrote: //Xia, //Also, the error that you got in User::~User() looks more like a problem //in your pass than a problem with the members you added to the Value //class. I forgot to "make install" LLVM after "make" LLVM. After doing that, I can set the property which was adding in the Value class. //If you provide a full stack

Xia, LLVM doesn't really use type qualifiers the way you're thinking about it. In LLVM parlance, types are neither const nor non-const, they just define the fundamental nature of a value. However, LLVM fully supports Constant Values (see include/llvm/Constant.h) and constant global variables (see include/llvm/GlobalVariable.h). You might want to read up on the LLVM IR a bit here:

ioctl for VHOST_SCSI_SET_ENDPOINT report file exist errori, when I forget to set it correctly in configfs, make user confused. Actually it fail to find a matching one, so change the error value. Signed-off-by: Wenchao Xia <wenchaolinux at gmail.com> --- drivers/vhost/scsi.c | 2 +- 1 files changed, 1 insertions(+), 1 deletions(-) diff --git a/drivers/vhost/scsi.c b/drivers/vhost/scsi.c

ioctl for VHOST_SCSI_SET_ENDPOINT report file exist errori, when I forget to set it correctly in configfs, make user confused. Actually it fail to find a matching one, so change the error value. Signed-off-by: Wenchao Xia <wenchaolinux at gmail.com> --- drivers/vhost/scsi.c | 2 +- 1 files changed, 1 insertions(+), 1 deletions(-) diff --git a/drivers/vhost/scsi.c b/drivers/vhost/scsi.c

I need to calcuate the cumulative probability for the Natural Exponential Family - Hyperbolic secant distribution with a parameter theta between -pi/2 and pi/2. The integration should be between 0 and 1 as it is a probability. The function "integrate" works fine when the absolute value of theta is not too large. That is, the NEF-HS distribution is not too skewed. However, once the

Hi Chris, I took a haste look at the "Points-to Analysis in Almost Linear Time" by Steens , your PHD thesis and SteensGaard.cpp in LLVM this afternoon. So I think: 1. Actually the basic algorithm described originally by SteensGaard does not provide MOD/REF information for functions. 2. The context insensitive part of Data Structure Analysis (LocalAnalysis) can be deemed as an

Dear all, My question is described as follows. Server: Linux Samba-3.3.1 Client: Windows XP with SP3 Step1: connect to the samba server. Step2: select a directory name ?test?. (The directory is created before testing.) The client will send a lot of QUERY_FILE_INFO requests. According to data captured by Wireshark, I find the following phenomenon: The client repeats exactly the same

On Tuesday 16 May 2006 03:19, Chris Lattner wrote: > On Mon, 15 May 2006, Nai Xia wrote: > > > In other words, if I only use -steens-aa and the data_XXXs are all > > external global variables( and so inComplete ), > > Sounds right! > > > the call to printf will > > make the same effect, which I have tested it. > > > > Am I right ? :) >

Hello, I want to build LLVM/Compiler-rt for baremetal targets like Cortex-M3. By adopting CMake options from http://llvm.1065342.n5.nabble.com/llvm-dev-Compiling-for-baremetal-ARMv4-on-Ubuntu-Linux-tp124226p124500.html, I can only build "libclang_rt.builtins-x86_64.a" in lib/linux, but what I want to build is "libclang_rt.builtins.arm.a". My CMake options are: cmake -G Ninja

Hi, all I can't boot from local drive on some machines(thinkpad x200 and thinkpad x1 carbon) using syslinux 3.05 or syslinux 4.05. And i change localboot 0xffff to localboot 0x80, boot from local drive is available. I find "0x80 is the primary hard drive. The special value -1(0xffff) causes ISOLINUX to report failure to the BIOS, which, on recent BIOSes, should mean that the next

On Wed, 17 May 2006, Nai Xia wrote: > Unfortunately, I did not locate the lines in steens-aa for "printf" special case. > In ds-aa, I found the lines below: Right, steens-aa and ds-aa share code for "local analysis", they just stitch it together into an interprocedural analysis in different ways. The code below is used for steens-aa. >