Sawja: Static Analysis Workshop for Java

Static analysis is a powerful technique for automatic verification of programs but raises major engineering challenges when developing a full-fledged analyzer for a realistic language such as Java. This paper describes the Sawja library: a static analysis framework fully compliant with Java 6 which provides OCaml modules for efficiently manipulating Java bytecode programs. We present the main features of the library, including (i) efficient functional data-structures for representing program with implicit sharing and lazy parsing, (ii) an intermediate stack-less representation, and (iii) fast computation and manipulation of complete programs

Development for change.

Lifelong Learning Networks are concerned with bringing about change in the practices and the provision of higher education to address the issue of low progression through vocational, applied and work-based routes. MOVE Lifelong Learning Network has sought to create a step change in lifelong learning and maximise the vocational progression opportunities for individuals within the MOVE learner constituency in the East of England. This includes: those with vocational or applied qualifications at level three those qualifying through work-based learning routes return to study learners seeking entry into vocational programmes either directly or through Access to Higher Education provision This document describes how MOVE has strategically employed the use of development funding to generate a critical mass of curriculum and other development activity within the region to bring about the step change in provision that is required to meet the needs of these learners. The aim is to demonstrate how targeted funding can stimulate significant innovation in the way in which higher education is delivered, in the type and range of provision that is available and in the practices employed to promote and support progression to higher education. In addition, the document describes how such changes in provision can contribute to a more employer led approach to curriculum development. The text also includes a range of project case study examples to illustrate the qualitative impact of the development activity supported by MOVE

Psoas abscess: report of a series and review of the literature

We describe a series of twelve patients with a psoas abscess seen in a three-year period in a university hospital and a large teaching hospital in the Netherlands. In our series, five of the 12 patients had a primary psoas abscess. The predisposing conditions were intravenous drug use, diabetes mellitus, prostate carcinoma and haematoma in the psoas muscle in a patient with haemophilia A. Seven of the 12 patients had a secondary psoas abscess. Five cases were due to vertebral osteomyelitis including two cases of tuberculosis. In the other two cases it was due to colitis and urinary tract infection. It is remarkable that in our series there was only one patient with a psoas abscess secondary to a disease of the digestive tract, while this is the most common cause of a secondary psoas abscess in the literature. There were two cases of tuberculosis which is an emerging disease again

Ground reaction forces during walking with different load and slope combinations in rats

BACKGROUND: Treadmill animal models are commonly used to study effects of exercise on bone. Since mechanical loading induces bone strain, resulting in bone formation, exercise that induces higher strains is likely to cause more bone formation. Our aim was to investigate the effect of slope and additional load on limb bone strain. METHODS: Horizontal and vertical ground reaction forces on left fore-limb (FL) and hind-limb (HL) of twenty 23-week old female Wistar rats (weight 279 ± 26 g) were measured for six combinations of SLOPE (-10°, 0°, +10°) and LOAD (0 to 23% of body mass). Peak force (Fmax), rate of force rise (RC), stance time (Tstance) and impulse (Fint) on FLs and HLs were analyzed. RESULTS: For the FL, peak ground reaction forces and rate of force rise were highest when walking downward -10° with load (Fmax = 2.09±0.05 N, FLRC = 34±2 N/s) For the HL, ground reaction forces and rate of force rise were highest when walking upward +10°, without load (Fmax = 2.20±0.05 N, HLRC = 34±1 N/s). Load increased stance time. Without additional load, estimates for the highest FL loading (slope is -10°) were larger than for the highest HL loading (slope is +10°) relative to level walking. CONCLUSIONS: Thus, walking downward has a higher impact on FL bones, while walking upward is a more optimal HL exercise. Additional load may have a small effect on FL loading

Patients with chronic gastrointestinal ischemia have a higher cardiovascular disease risk and mortality

Objectives: We determined the prevalence of classical risk factors for atherosclerosis and mortality risk in patients with CGI. Methods: A case-control study was conducted. Patients referred with suspected CGI underwent a standard work-up including risk factors for atherosclerosis, radiological imaging of abdominal vessels and tonometry. Cases were patients with confirmed atherosclerotic CGI. Controls were healthy subjects previously not known with CGI. The mortality risk was calculated as standardized mortality ratio derived from observed mortality, and was estimated with ten-year risk of death using SCORE and PREDICT. Results: Between 2006 and 2009, 195 patients were evaluated for suspected CGI. After a median follow-up of 19 months, atherosclerotic CGI was diagnosed in 68 patients. Controls consisted of 132 subjects. Female gender, diabetes, hypercholesterolemia, a personal and family history of cardiovascular disease (CVD), and current smoking are highly associated with CGI. After adjustment, female gender (OR 2.14 95% CI 1.05-4.36), diabetes (OR 5.59, 95% CI 1.95-16.01), current smoking (OR 5.78, 95% CI 2.27-14.72), and history of CVD (OR 21.61, 95% CI 8.40-55.55) remained significant. CGI patients >55 years had a higher median ten-year risk of death (15% vs. 5%, P = 0.001) compared to controls. During follow-up of 116 person-years, standardized mortality rate was higher in CGI patients (3.55; 95% CI 1.70-6.52). Conclusions: Patients with atherosclerotic CGI have an increased estimated CVD risk, and severe excess mortality. S

Microalbuminuria and Cardiovascular Autonomic Dysfunction Are Independently Associated With Cardiovascular Mortality: Evidence for Distinct Pathways: The Hoorn Study

) or microalbuminuria (1.76 [1.05-2.94]), respectively. CONCLUSIONS: Both microalbuminuria and C-AD are independently associated with cardiovascular mortality, and the excess mortality attributable to microalbuminuria cannot be explained by C-A

In Vivo Mechanical Loading Modulates Insulin-Like Growth Factor Binding Protein-2 Gene Expression in Rat Osteocytes

Mechanical stimulation is essential for maintaining skeletal integrity. Mechanosensitive osteocytes are important during the osteogenic response. The growth hormone-insulin-like growth factor (GH-IGF) axis plays a key role during regulation of bone formation and remodeling. Insulin-like growth factor binding proteins (IGFBPs) are able to modulate IGF activity. The aim of this study was to characterize the role of IGFBP-2 in the translation of mechanical stimuli into bone formation locally in rat tibiae. Female Wistar rats were assigned to three groups (n = 5): load, sham, and control. The four-point bending model was used to induce a single period of mechanical loading on the tibial shaft. The effect on IGFBP-2 mRNA expression 6 hours after stimulation was determined with nonradioactive in situ hybridization on decalcified tibial sections. Endogenous IGFBP-2 mRNA was expressed in trabecular and cortical osteoblasts, some trabecular and subendocortical osteocytes, intracortical endothelial cells of blood vessels, and periosteum. Megakaryocytes, macrophages, and myeloid cells also expressed IGFBP-2 mRNA. Loading and sham loading did not affect IGFBP-2 mRNA expression in osteoblasts, bone marrow cells, and chondrocytes. An increase of IGFBP-2 mRNA-positive osteocytes was shown in loaded (1.68-fold) and sham-loaded (1.35-fold) endocortical tibial shaft. In conclusion, 6 hours after a single loading session, the number of IGFBP-2 mRNA-expressing osteocytes at the endosteal side of the shaft and inner lamellae was increased in squeezed and bended tibiae. Mechanical stimulation modulates IGFBP-2 mRNA expression in endocortical osteocytes. We suggest that IGFBP-2 plays a role in the lamellar bone formation process

Evaluating Design Tradeoffs in Numeric Static Analysis for Java

Numeric static analysis for Java has a broad range of potentially useful applications, including array bounds checking and resource usage estimation. However, designing a scalable numeric static analysis for real-world Java programs presents a multitude of design choices, each of which may interact with others. For example, an analysis could handle method calls via either a top-down or bottom-up interprocedural analysis. Moreover, this choice could interact with how we choose to represent aliasing in the heap and/or whether we use a relational numeric domain, e.g., convex polyhedra. In this paper, we present a family of abstract interpretation-based numeric static analyses for Java and systematically evaluate the impact of 162 analysis configurations on the DaCapo benchmark suite. Our experiment considered the precision and performance of the analyses for discharging array bounds checks. We found that top-down analysis is generally a better choice than bottom-up analysis, and that using access paths to describe heap objects is better than using summary objects corresponding to points-to analysis locations. Moreover, these two choices are the most significant, while choices about the numeric domain, representation of abstract objects, and context-sensitivity make much less difference to the precision/performance tradeoff