Interprocedural def-use associations for C systems with single level pointers

Pande, Hemant D.; Landi, William; Ryder, Barbara G.

doi:10.1109/32.286418

Cited by 122 publications

(62 citation statements)

References 44 publications

Supporting

Mentioning

Contrasting

Unclassified

Order By: Relevance

“…We also find a suitable contextsensitivity for points-to analysis to differentiate invocations in different execution paths, and define the rule to handle API invocations with multi-source arguments, in order to ensure that for each different way of API invocation, a corresponding object is constructed. Finally, we record the group of arguments used in each way of API invocation, and designed a slicing algorithm to locate the relevant instructions from the recorded argument objects and the def-relation [6] between instructions and objects, without constructing the full execution traces from scratch.…”

Section: Approach Overviewmentioning

confidence: 99%

“…We believe the deeper points-to analysis techniques, such as the consideration of reflections [18], will improve the application scope of our approach, but we leave this for future work. The inference of different API invocations is related to the def-use analysis [6], but we also need to clarify all the individual and sufficient compositions of the used objects. The construction of snippet contents is a typical data-flowbased code slicing [4].…”

Section: User Studymentioning

confidence: 99%

See 1 more Smart Citation

Inferring the data access from the clients of generic APIs

Song

Huang

Xiong

et al. 2012

2012 28th IEEE International Conference on Software Maintenance (ICSM)

View full text Add to dashboard Cite

Abstract-Many programs access external data sources through generic APIs. The class hierarchy of such a generic API does not reflect the schema of any particular data source, and thus it is hard to clarify what data an API client accesses and how it obtains them. This makes it difficult to maintain the API clients. In this paper, we show that the data access of an API client can be recovered through static analysis on the client's source code. We provide a formal and intuitive way to represent the data access, as a graph of so-called summoning snippets. Each snippet stands for a type of data accessed by the client, and carries the code slice from the client about how to obtain the data via the API. We provide an automated approach to inferring a complete and well-simplified set of summoning snippets from the client source code, based on points-to analysis and code slicing. We implement this approach as a development assistant tool, and evaluate it on eight open source data processing programs, with average precision and recall of 89% and 95%, respectively. Further inspection of these clients, as well as a user study about writing data accessing code on their data sources, show that the inference results are useful in the inspection of existing clients and the development of new data access logics.

show abstract

Section: Approach Overviewmentioning

confidence: 99%

Section: User Studymentioning

confidence: 99%

Inferring the data access from the clients of generic APIs

Song

Huang

Xiong

et al. 2012

2012 28th IEEE International Conference on Software Maintenance (ICSM)

View full text Add to dashboard Cite

show abstract

“…This problem has been extensively investigated and several coverage criteria have been defined [13]. In particular, a widely used coverage criterion is "all def-use pairs" [14], which requires a test suite that executes all possible pairs of definition and uses for variables in the program under test.…”

Section: Generation Of Tests For Sequences Of Operationsmentioning

confidence: 99%

Automatic Conformance Testing of Web Services

Heckel

Mariani

2005

Fundamental Approaches to Software Engineering

View full text Add to dashboard Cite

Abstract. Web Services are the basic building blocks of next generation Internet applications, based on dynamic service discovery and composition. Dedicated discovery services will store both syntactic and behavioral descriptions of available services and guarantee their compatibility with the requirements expressed by clients. In practice, however, interactions may still fail because the Web Service's implementation may be faulty. In fact, the client has no guarantee on the quality of the implementation associated to any service description.In this paper, we propose the idea of high-quality service discovery incorporating automatic testing for validating Web Services before allowing their registration. First, the discovery service automatically generates conformance test cases from the provided service description, then runs the test cases on the target Web Service, and only if the test is successfully passed, the service is registered.In this way, clients bind with Web Services providing a compatible signature, a suitable behavior, and a high-quality implementation.

show abstract

“…The development of efficient and precise dependence analysis algorithms continues as an active area of research in the programming languages and software engineering communities (e.g., [3,8,10,19]). …”

Section: Refining Chainsmentioning

confidence: 99%