Targeted Automatic Integer Overflow Discovery Using Goal-Directed Conditional Branch Enforcement

We present a new technique and system, DIODE, for auto- matically generating inputs that trigger overflows at memory allocation sites. DIODE is designed to identify relevant sanity checks that inputs must satisfy to trigger overflows at target memory allocation sites, then generate inputs that satisfy these sanity checks to successfully trigger the overflow. DIODE works with off-the-shelf, production x86 binaries. Our results show that, for our benchmark set of applications, and for every target memory allocation site exercised by our seed inputs (which the applications process correctly with no overflows), either 1) DIODE is able to generate an input that triggers an overflow at that site or 2) there is no input that would trigger an overflow for the observed target expression at that site.United States. Defense Advanced Research Projects Agency (Grant FA8650-11-C-7192

Validation of Memory Accesses Through Symbolic Analyses

International audienceThe C programming language does not prevent out-of- bounds memory accesses. There exist several techniques to secure C programs; however, these methods tend to slow down these programs substantially, because they populate the binary code with runtime checks. To deal with this prob- lem, we have designed and tested two static analyses - sym- bolic region and range analysis - which we combine to re- move the majority of these guards. In addition to the analy- ses themselves, we bring two other contributions. First, we describe live range splitting strategies that improve the effi- ciency and the precision of our analyses. Secondly, we show how to deal with integer overflows, a phenomenon that can compromise the correctness of static algorithms that validate memory accesses. We validate our claims by incorporating our findings into AddressSanitizer. We generate SPEC CINT 2006 code that is 17% faster and 9% more energy efficient than the code produced originally by this tool. Furthermore, our approach is 50% more effective than Pentagons, a state- of-the-art analysis to sanitize memory accesses

Exploring the pastiche hegemony of men

In this article I explore the continued hegemony of certain men. I use interview extracts to help think through the notion of pastiche hegemony as a means of understanding how men, and narratives about them, have changed, but unequal power relations persist. In particular, I explore this process within men’s understandings of how they were able to gain and maintain influence and power at work. Through their reflexive reading of the changing shape of late modern Western society, these men believed they were able to craft selves and employ social scripts to produce social influence and power in situational and contingent forms. I argue that it is within this interactional process that the increasingly undermined ideological and material legacy of patriarchy might still be reified. As such, while there is clear evidence highlighting the undermining of men’s ability to assume power, within this article I theoretically unpack how certain men might be able to produce a localized, pastiche hegemony. This article is published as part of a thematic collection on gender studies

Chronic Stroke Sensorimotor Impairment Is Related to Smaller Hippocampal Volumes: An ENIGMA Analysis

Background. Persistent sensorimotor impairments after stroke can negatively impact quality of life. The hippocampus is vulnerable to poststroke secondary degeneration and is involved in sensorimotor behavior but has not been widely studied within the context of poststroke upper‐limb sensorimotor impairment. We investigated associations between non‐lesioned hippocampal volume and upper limb sensorimotor impairment in people with chronic stroke, hypothesizing that smaller ipsilesional hippocampal volumes would be associated with greater sensorimotor impairment. Methods and Results. Cross‐sectional T1‐weighted magnetic resonance images of the brain were pooled from 357 participants with chronic stroke from 18 research cohorts of the ENIGMA (Enhancing NeuoImaging Genetics through Meta‐Analysis) Stroke Recovery Working Group. Sensorimotor impairment was estimated from the FMA‐UE (Fugl‐Meyer Assessment of Upper Extremity). Robust mixed‐effects linear models were used to test associations between poststroke sensorimotor impairment and hippocampal volumes (ipsilesional and contralesional separately; Bonferroni‐corrected, P<0.025), controlling for age, sex, lesion volume, and lesioned hemisphere. In exploratory analyses, we tested for a sensorimotor impairment and sex interaction and relationships between lesion volume, sensorimotor damage, and hippocampal volume. Greater sensorimotor impairment was significantly associated with ipsilesional (P=0.005; β=0.16) but not contralesional (P=0.96; β=0.003) hippocampal volume, independent of lesion volume and other covariates (P=0.001; β=0.26). Women showed progressively worsening sensorimotor impairment with smaller ipsilesional (P=0.008; β=−0.26) and contralesional (P=0.006; β=−0.27) hippocampal volumes compared with men. Hippocampal volume was associated with lesion size (P<0.001; β=−0.21) and extent of sensorimotor damage (P=0.003; β=−0.15). Conclusions. The present study identifies novel associations between chronic poststroke sensorimotor impairment and ipsilesional hippocampal volume that are not caused by lesion size and may be stronger in women.S.-L.L. is supported by NIH K01 HD091283; NIH R01 NS115845. A.B. and M.S.K. are supported by National Health and Medical Research Council (NHMRC) GNT1020526, GNT1045617 (A.B.), GNT1094974, and Heart Foundation Future Leader Fellowship 100784 (A.B.). P.M.T. is supported by NIH U54 EB020403. L.A.B. is supported by the Canadian Institutes of Health Research (CIHR). C.M.B. is supported by NIH R21 HD067906. W.D.B. is supported by the Heath Research Council of New Zealand. J.M.C. is supported by NIH R00HD091375. A.B.C. is supported by NIH R01NS076348-01, Hospital Israelita Albert Einstein 2250-14, CNPq/305568/2016-7. A.N.D. is supported by funding provided by the Texas Legislature to the Lone Star Stroke Clinical Trial Network. Its contents are solely the responsibility of the authors and do not necessarily represent the of ficial views of the Government of the United States or the State of Texas. N.E.-B. is supported by Australian Research Council NIH DE180100893. W.F. is sup ported by NIH P20 GM109040. F.G. is supported by Wellcome Trust (093957). B.H. is funded by and NHMRC fellowship (1125054). S.A.K is supported by NIH P20 HD109040. F.B. is supported by Italian Ministry of Health, RC 20, 21. N.S. is supported by NIH R21NS120274. N.J.S. is supported by NIH/National Institute of General Medical Sciences (NIGMS) 2P20GM109040-06, U54-GM104941. S.R.S. is supported by European Research Council (ERC) (NGBMI, 759370). G.S. is supported by Italian Ministry of Health RC 18-19-20-21A. M.T. is sup ported by National Institute of Neurological Disorders and Stroke (NINDS) R01 NS110696. G.T.T. is supported by Temple University sub-award of NIH R24 –NHLBI (Dr Mickey Selzer) Center for Experimental Neurorehabilitation Training. N.J.S. is funded by NIH/National Institute of Child Health and Human Development (NICHD) 1R01HD094731-01A1

Chronic stroke sensorimotor impairment is related to smaller hippocampal volumes: an ENIGMA analysis

Background Persistent sensorimotor impairments after stroke can negatively impact quality of life. The hippocampus is vulnerable to poststroke secondary degeneration and is involved in sensorimotor behavior but has not been widely studied within the context of poststroke upper‐limb sensorimotor impairment. We investigated associations between non‐lesioned hippocampal volume and upper limb sensorimotor impairment in people with chronic stroke, hypothesizing that smaller ipsilesional hippocampal volumes would be associated with greater sensorimotor impairment. Methods and Results Cross‐sectional T1‐weighted magnetic resonance images of the brain were pooled from 357 participants with chronic stroke from 18 research cohorts of the ENIGMA (Enhancing NeuoImaging Genetics through Meta‐Analysis) Stroke Recovery Working Group. Sensorimotor impairment was estimated from the FMA‐UE (Fugl‐Meyer Assessment of Upper Extremity). Robust mixed‐effects linear models were used to test associations between poststroke sensorimotor impairment and hippocampal volumes (ipsilesional and contralesional separately; Bonferroni‐corrected, P<0.025), controlling for age, sex, lesion volume, and lesioned hemisphere. In exploratory analyses, we tested for a sensorimotor impairment and sex interaction and relationships between lesion volume, sensorimotor damage, and hippocampal volume. Greater sensorimotor impairment was significantly associated with ipsilesional (P=0.005; β=0.16) but not contralesional (P=0.96; β=0.003) hippocampal volume, independent of lesion volume and other covariates (P=0.001; β=0.26). Women showed progressively worsening sensorimotor impairment with smaller ipsilesional (P=0.008; β=−0.26) and contralesional (P=0.006; β=−0.27) hippocampal volumes compared with men. Hippocampal volume was associated with lesion size (P<0.001; β=−0.21) and extent of sensorimotor damage (P=0.003; β=−0.15). Conclusions The present study identifies novel associations between chronic poststroke sensorimotor impairment and ipsilesional hippocampal volume that are not caused by lesion size and may be stronger in women