473,386 Members | 1,958 Online
Bytes | Software Development & Data Engineering Community
Post Job

Home Posts Topics Members FAQ

Join Bytes to post your question to a community of 473,386 software developers and data experts.

Soliciting for C programs or snippets to test alias analysis

Dear folk,

I'm working on a standalone pointer/alias analyzer for ANSI C
(C99), and have a plan to release the analyzer as open source project.

To ensure the correctness of the analysis, identify the cause of
imprecision, and explore the method to improve precision, I need some
real uses of pointer in C. Even though I have searched C programs on
sourceforge.net, it's really difficult to figure out which one is
suitable for my purpose. I'm particularly looking for code with the
following criteria:

*For standalone C programs*:
1. There is no restriction on the coding style, but it has to be
completely compatible with ANSI C (C89 or C99)
2. It can be compiled with open source library, or if you can
provide binary lib image.
3. The size of program should be just few thousand lines of C
code or at most 10,000 lines.
4. It heavily uses dynamically allocated memory.
5. You believe that there are opportunities in optimization if
"precise" alias information is provided.
option 6. if you know some variables are never aliased and can
list those variables.

*For C snippets*:
1. There are some reasons you think finding the anti-alias
information is very useful.

I sincerely solicit for your help. If you know any C programs or
snippets which satisfy the above criteria, please send to me. It would
be very helpful, if you can write a short description about the
functionality and especially the uses of pointer in your programs.
After I receive your program and descriptions, I will compile a
contribution list, and post both code and description online.

Thanks for your kindly help in advance.
Sincerely,
Neal
Dec 8 '05 #1
0 1091

This thread has been closed and replies have been disabled. Please start a new discussion.

Similar topics

15
by: Manish Jethani | last post by:
Hi all, Is there a way to detect typos in a Python program, before actually having to run it. Let's say I have a function like this: def server_closed_connection(): session.abost() Here,...
44
by: Carl | last post by:
"Nine Language Performance Round-up: Benchmarking Math & File I/O" http://www.osnews.com/story.php?news_id=5602 I think this is an unfair comparison! I wouldn't dream of developing a numerical...
17
by: romixnews | last post by:
Hi, I'm facing the problem of analyzing a memory allocation dynamic and object creation dynamics of a very big C++ application with a goal of optimizing its performance and eventually also...
55
by: Steve | last post by:
I have to develop several large and complex C++ hardware test programs that should work under DOS, most likely with 32-bit DOS extender. Development workstation OS would be Microsoft XP. Quite some...
24
by: c language | last post by:
Hello all, I am using 'Valgrind' to fix the memory leaks of my programs. I am looking for other programs to see how they are detecting the problems. Does any of you have experience in working...
4
by: Henrik Dahl | last post by:
Hello! Is it possible to use Visual Studio 2005 or, secondarily, Visual Studio .NET 2003 to create ActiveX controls which may be consumed by VB 6.0 programs, i.e. dealt with on forms in the...
176
by: nw | last post by:
Hi, I previously asked for suggestions on teaching testing in C++. Based on some of the replies I received I decided that best way to proceed would be to teach the students how they might write...
4
by: mark4asp | last post by:
I'm getting a problem with this code and I think the offending linke is : <xsl:if test="$folder = 'Search'"> I want to test the value of the Folder element for a value of precisely "Search"...
4
by: WT | last post by:
Hello, Here is my pb: I have a group of classes in 2 namespaces which are exactly simlilar. Theses classes are generated by Visual Studio when inserting a Web Reference, having 2 versions of a...
0
by: taylorcarr | last post by:
A Canon printer is a smart device known for being advanced, efficient, and reliable. It is designed for home, office, and hybrid workspace use and can also be used for a variety of purposes. However,...
0
by: Charles Arthur | last post by:
How do i turn on java script on a villaon, callus and itel keypad mobile phone
0
by: aa123db | last post by:
Variable and constants Use var or let for variables and const fror constants. Var foo ='bar'; Let foo ='bar';const baz ='bar'; Functions function $name$ ($parameters$) { } ...
0
by: emmanuelkatto | last post by:
Hi All, I am Emmanuel katto from Uganda. I want to ask what challenges you've faced while migrating a website to cloud. Please let me know. Thanks! Emmanuel
0
BarryA
by: BarryA | last post by:
What are the essential steps and strategies outlined in the Data Structures and Algorithms (DSA) roadmap for aspiring data scientists? How can individuals effectively utilize this roadmap to progress...
1
by: Sonnysonu | last post by:
This is the data of csv file 1 2 3 1 2 3 1 2 3 1 2 3 2 3 2 3 3 the lengths should be different i have to store the data by column-wise with in the specific length. suppose the i have to...
0
by: Hystou | last post by:
There are some requirements for setting up RAID: 1. The motherboard and BIOS support RAID configuration. 2. The motherboard has 2 or more available SATA protocol SSD/HDD slots (including MSATA, M.2...
0
marktang
by: marktang | last post by:
ONU (Optical Network Unit) is one of the key components for providing high-speed Internet services. Its primary function is to act as an endpoint device located at the user's premises. However,...
0
Oralloy
by: Oralloy | last post by:
Hello folks, I am unable to find appropriate documentation on the type promotion of bit-fields when using the generalised comparison operator "<=>". The problem is that using the GNU compilers,...

By using Bytes.com and it's services, you agree to our Privacy Policy and Terms of Use.

To disable or enable advertisements and analytics tracking please visit the manage ads & tracking page.