A Survey of Symbolic Execution Techniques

Many security and software testing applications require checking whether certain properties of a program hold for any possible usage scenario. For instance, a tool for identifying software vulnerabilities may need to rule out the existence of any backdoor to bypass a program's authentication. One approach would be to test the program using different, possibly random inputs. As the backdoor may only be hit for very specific program workloads, automated exploration of the space of possible inputs is of the essence. Symbolic execution provides an elegant solution to the problem, by systematically exploring many possible execution paths at the same time without necessarily requiring concrete inputs. Rather than taking on fully specified input values, the technique abstractly represents them as symbols, resorting to constraint solvers to construct actual instances that would cause property violations. Symbolic execution has been incubated in dozens of tools developed over the last four decades, leading to major practical breakthroughs in a number of prominent software reliability applications. The goal of this survey is to provide an overview of the main ideas, challenges, and solutions developed in the area, distilling them for a broad audience. The present survey has been accepted for publication at ACM Computing Surveys. If you are considering citing this survey, we would appreciate if you could use the following BibTeX entry: http://goo.gl/Hf5FvcComment: This is the authors pre-print copy. If you are considering citing this survey, we would appreciate if you could use the following BibTeX entry: http://goo.gl/Hf5Fv

Region-Referenced Spectral Power Dynamics of EEG Signals: A Hierarchical Modeling Approach

Functional brain imaging through electroencephalography (EEG) relies upon the analysis and interpretation of high-dimensional, spatially organized time series. We propose to represent time-localized frequency domain characterizations of EEG data as region-referenced functional data. This representation is coupled with a hierarchical modeling approach to multivariate functional observations. Within this familiar setting, we discuss how several prior models relate to structural assumptions about multivariate covariance operators. An overarching modeling framework, based on infinite factorial decompositions, is finally proposed to balance flexibility and efficiency in estimation. The motivating application stems from a study of implicit auditory learning, in which typically developing (TD) children, and children with autism spectrum disorder (ASD) were exposed to a continuous speech stream. Using the proposed model, we examine differential band power dynamics as brain function is interrogated throughout the duration of a computer-controlled experiment. Our work offers a novel look at previous findings in psychiatry, and provides further insights into the understanding of ASD. Our approach to inference is fully Bayesian and implemented in a highly optimized Rcpp package

Heap Abstractions for Static Analysis

Heap data is potentially unbounded and seemingly arbitrary. As a consequence, unlike stack and static memory, heap memory cannot be abstracted directly in terms of a fixed set of source variable names appearing in the program being analysed. This makes it an interesting topic of study and there is an abundance of literature employing heap abstractions. Although most studies have addressed similar concerns, their formulations and formalisms often seem dissimilar and some times even unrelated. Thus, the insights gained in one description of heap abstraction may not directly carry over to some other description. This survey is a result of our quest for a unifying theme in the existing descriptions of heap abstractions. In particular, our interest lies in the abstractions and not in the algorithms that construct them. In our search of a unified theme, we view a heap abstraction as consisting of two features: a heap model to represent the heap memory and a summarization technique for bounding the heap representation. We classify the models as storeless, store based, and hybrid. We describe various summarization techniques based on k-limiting, allocation sites, patterns, variables, other generic instrumentation predicates, and higher-order logics. This approach allows us to compare the insights of a large number of seemingly dissimilar heap abstractions and also paves way for creating new abstractions by mix-and-match of models and summarization techniques.Comment: 49 pages, 20 figure

Jefferson Digital Commons quarterly report: April-June 2019

This quarterly report includes: Articles CREATE Day Presentations Dissertations From the Archives Grand Rounds and Lectures House Staff Quality Improvement and Patient Safety Posters JCIPE Student Hotspotting Posters Journals and Newsletters MPH Capstone Presentations Posters Sigma Xi Research Day What People are Saying About the Jefferson Digital Common

Improved resource efficiency and cascading utilisation of renewable materials

In light of various environmental problems and challenges concerning resource allocation, the utilisation of renewable resources is increasingly important for the efficient use of raw materials. Therefore, cascading utilisation (i.e., the multiple material utilisations of renewable resources prior to their conversion into energy) and approaches that aim to further increase resource efficiency (e.g., the utilisation of by-products) can be considered guiding principles. This paper therefore introduces the Special Volume “Improved Resource Efficiency and Cascading Utilisation of Renewable Materials”. Because both research aspects, resource efficiency and cascading utilisation, belong to several disciplines, the Special Volume adopts an interdisciplinary perspective and presents 16 articles, which can be divided into four subjects: Innovative Materials based on Renewable Resources and their Impact on Sustainability and Resource Efficiency, Quantitative Models for the Integrated Optimisation of Production and Distribution in Networks for Renewable Resources, Information Technology-based Collaboration in Value Generating Networks for Renewable Resources, and Consumer Behaviour towards Eco-friendly Products. The interdisciplinary perspective allows a comprehensive overview of current research on resource efficiency, which is supplemented with 15 book reviews showing the extent to which textbooks of selected disciplines already refer to resource efficiency. This introductory article highlights the relevance of the four subjects, presents summaries of all papers, and discusses future research directions. The overall contribution of the Special Volume is that it bridges the resource efficiency research of selected disciplines and that it presents several approaches for more environmentally sound production and consumption

A Study On The Effect Of Partnership Quality On Business Process Outsourcing For Banks And Financial Institutions In Malaysia

Penyelidikan ini bertujuan untuk mengkaji kesan kualiti hubungan perkongsian dengan penyumberluaran proses preniagaan bagi pihak bank dan institusi kewangan di Malaysia. This research studied the effect of partnership quality on business process outsourcing for banks and financial institutions in Malaysia

China, the ‘East Asian Model’ and Late Development

There is an influential, neo-liberal proposition in the scholarly literature on China’s economic transformation since the late 1970s. It states that China’s reformed economic institutions are a mix of market-conforming and market-supplanting elements, that its developmental achievements so far have been ascribable to the conforming elements whereas the accumulated problems being ascribable to the supplanting elements, and that the problems have tended to outweigh the achievements as the country’s economic transition progresses from the allegedly easy phase to the difficult phase. This paper offers an alternative interpretation of the Chinese experience. The central proposition is that China’s economic institutions could be seen in favourable light both theoretically and with reference to the East Asian development experience. Specifically, the developmental implications of the market-conforming and market-supplanting elements should not be understood in any absolute sense, but rather depend on the appropriate match or otherwise between the institutions and the external environment. The developmental achievements to date indicate that China’s economic reform has managed to achieve a basically appropriate match between the two aspects, although enormous uncertainties still cloud over the future prospects owing to changes both in the external environment and the reform strategies of the state leadership