The number of Android apps have grown explosively in recent years and the number of apps leaking private data have also grown. It is necessary to make sure all the apps are not leaking private data before putting them to the app markets and thereby a privacy leaks detection tool is needed. We propose a static taint analysis approach which leverages the control-flow graph (CFG) of apps to detect...

We transform a CFG into a PEG in two steps. First, we transform the CFG into an Abstract PEG (A-PEG). Conceptually, an A-PEG is a PEG that operates over programs stores rather than individual variables, and whose nodes represent the basic blocks of the CFG. Figure 1(b) shows a sample A-PEG, derived from the CFG in Figure 1(a). The A-PEG captures the structure of the original CFG using θ, pass a...

Control-Flow Integrity (CFI) is a popular technique to defend against State-of-the-Art exploits, by ensuring that every (indirect) control-flow transfer points legitimate address and it part of the Control-flow Graph (CFG) program. Enabling CFI in real systems not straightforward, since many cases actual CFG program can only be approximated. Even case where there perfect knowledge CFG, all retu...

Several real-world libraries (e.g., reentrant locks, GUI frameworks, serialization libraries) require their clients to use the provided API in a manner that conforms context-free specification. Motivated by this observation, paper describes new technique for verifying correct usage of protocols. The key idea underlying our is over-approximate program’s feasible call sequences using grammar (CFG...

In this paper, numerical analysis of a pile-soil interaction problem is presented considering the parameters influencing the axial load-deformation behavior of the pile embedded in a layered soil medium. The analysis is demonstrated with parametric solutions of a pile with underlain model soil strata under the axial force. An attempt is made to ascertain the extent of influence of elastic prope...

Using a series of model tests, this study investigated the effect of a passive pile on 3D ground deformation around a laterally loaded pile and on that laterally loaded pile's response in sand. The active pile head was subjected to lateral loads, and the passive pile was arranged in front of the active pile. In the model tests, the distance between the two pile centers was set to zero (i.e., a ...

Overall, it has been a good year for CFG, with some excellent research papers, and interesting collections of reviews in our special 'Ontologies' issue, the extended coverage of the Plant and Animal Genomes Conference, and the special sections from the ESF Structural Genomics workshop and the ESF Functional Genomics and Disease 2003 Conference. In fact, such is the demand for page space in CFG ...

Sadly, I am writing this Editorial to let you know of our decision to close Comparative and Functional Genomics as of this issue. Unfortunately, despite much hard work by the entire Editorial Board and the team at Wiley, CFG has not achieved what we had hoped and we feel that no amount of effort will be enough to rectify this. This will be the final issue of the journal. However, its archive wi...

Corn fiber arabinoxylan is a hemicellulose B isolated from the fibrous portions (pericarp, tip cap, and endosperm cell wall fractions) of corn kernels by alkaline solution, often in the presence of hydrogen peroxide and is commonly referred to as ‘‘Corn fiber gum’’ (CFG). The unique polysaccharide, CFG, with its low solution viscosity has been proposed as a good stabilizer for oil-in-water emul...