Bug path reduction strategies for symbolic execution

Symbolic execution is one of the most powerful tools in static analysis for finding bugs. In this technique the source code is not executed by the CPU, but interpreted statement-by-statement by preserving their semantics as much as possible. During the interpretation the possible values of variables are recorded so the analyzer can report when a variable gets to an invalid state. An additional benefit of such a provided bug report is that not only the place of the bug is returned but the control flow is also displayed which results the erroneous program state. Many times the bug path contains statements which are not related to the bug. These irrelevant statements make it harder to understand in the debugging process, how the error can occur. In this article we present three methods for shortening the bug paths by removing unnecessary bug points and by recognizing two different bug paths as unique if those refer the same bug

Effect of secular trends on age-related trajectories of cardiovascular risk factors: the Whitehall II longitudinal study 1985-2009

BACKGROUND:: Secular trends in cardiovascular risk factors have been described, but few studies have examined simultaneously the effects of both ageing and secular trends within the same cohort. METHODS:: Development of cardiovascular risk factors over the past three decades was analysed using serial measurements from 10 308 participants aged from 35 to 80 years over 25 years of follow-up from five clinical examination phases of the Whitehall II study. Changes of body mass index, waist circumference, blood pressure and total and high-density lipoprotein cholesterol distribution characteristics were analysed with quantile regression models in the 57-61 age group. Age-related trajectories of risk factors were assessed by fitting mixed-effects models with adjustment for year of birth to reveal secular trends. RESULTS:: Average body mass index and waist circumference increased faster with age in women than in men, but the unfavourable secular trend was more marked in men. Distributions showed a fattening of the right tail in each consecutive phase, meaning a stronger increase in higher percentiles. Despite the higher obesity levels in younger birth cohorts, total cholesterol decreased markedly in the 57-61 age group along the entire distribution rather than in higher extremes only. CONCLUSION:: The past three decades brought strong and heterogeneous changes in cardiovascular risk factor distributions. Secular trends appear to modify age-related trajectories of cardiovascular risk factors, which may be a source of bias in longitudinal analyses

Transgenic rabbit models for cardiac disease research.

To study the pathophysiology of human cardiac diseases and to develop novel treatment strategies, complex interactions of cardiac cells on cellular, tissue and whole heart levels need to be considered. As in vitro cell-based models do not depict the complexity of the human heart, animal models are used to obtain insights that can be translated to human diseases. Mice are the most commonly used animals in cardiac research, however, differences in electrophysiological and mechanical cardiac function and a different composition of electrical and contractile proteins limit the transferability of the knowledge gained. Moreover, the small heart size and fast heart rate are major disadvantages. In contrast to rodents, electrophysiological, mechanical, and structural cardiac characteristics of rabbits resemble the human heart more closely, making them particularly suitable as an animal model for cardiac disease research. In this review, various methodological approaches for the generation of transgenic rabbits for cardiac disease research - such as pronuclear microinjection, the sleeping beauty transposon system and novel genome editing methods (ZFN and CRISPR/Cas9) - will be discussed. In the second section, we will introduce the different currently available transgenic rabbit models for monogenic cardiac diseases (such as long-QT syndrome, short-QT syndrome, and hypertrophic cardiomyopathy) in detail, especially in regards to their utility to increase the understanding of pathophysiological disease-mechanisms and novel treatment options

Oxytocin exerts harmful cardiac repolarization prolonging effects in drug-induced LQTS

Background: Oxytocin is used therapeutically in psychiatric patients. Many of these also receive anti-depressant or anti-psychotic drugs causing acquired long-QT-syndrome (LQTS) by blocking HERG/IKr. We previously identified an oxytocin-induced QT-prolongation in LQT2 rabbits, indicating potential harmful effects of combined therapy. We thus aimed to analyze the effects of dual therapy with oxytocin and fluoxetine/risperidone on cardiac repolarization. Methods: Effects of risperidone, fluoxetine and oxytocin on QT/QTc, short-term variability (STV) of QT, and APD were assessed in rabbits using in vivo ECG and ex vivo monophasic AP recordings in Langendorff-perfused hearts. Underlying mechanisms were assessed using patch clamp in isolated cardiomyocytes. Results: Oxytocin, fluoxetine and risperidone prolonged QTc and APD in whole hearts. The combination of fluoxetine + oxytocin resulted in further QTc- and APD-prolongation, risperidone + oxytocin tended to increase QTc and APD compared to monotherapy. Temporal QT instability, STVQTc was increased by oxytocin, fluoxetine / fluoxetine + oxytocin and risperidone / risperidone + oxytocin. Similar APD-prolonging effects were confirmed in isolated cardiomyocytes due to differential effects of the compounds on repolarizing ion currents: Oxytocin reduced IKs, fluoxetine and risperidone reduced IKr, resulting in additive effects on IKtotal-tail. In addition, oxytocin reduced IK1, further reducing the repolarization reserve. Conclusion: Oxytocin, risperidone and fluoxetine prolong QTc / APD. Combined treatment further prolongs QTc/APD due to differential effects on IKs and IK1 (block by oxytocin) and IKr (block by risperidone and fluoxetine), leading to pronounced impairment of repolarization reserve. Oxytocin should be used with caution in patients in the context of acquired LQTS. © 2022 The Author

Oxytocin exerts harmful cardiac repolarization prolonging effects in drug-induced LQTS.

Background Oxytocin is used therapeutically in psychiatric patients. Many of these also receive anti-depressant or anti-psychotic drugs causing acquired long-QT-syndrome (LQTS) by blocking HERG/IKr. We previously identified an oxytocin-induced QT-prolongation in LQT2 rabbits, indicating potential harmful effects of combined therapy. We thus aimed to analyze the effects of dual therapy with oxytocin and fluoxetine/risperidone on cardiac repolarization. Methods Effects of risperidone, fluoxetine and oxytocin on QT/QTc, short-term variability (STV) of QT, and APD were assessed in rabbits using in vivo ECG and ex vivo monophasic AP recordings in Langendorff-perfused hearts. Underlying mechanisms were assessed using patch clamp in isolated cardiomyocytes. Results Oxytocin, fluoxetine and risperidone prolonged QTc and APD in whole hearts. The combination of fluoxetine + oxytocin resulted in further QTc- and APD-prolongation, risperidone + oxytocin tended to increase QTc and APD compared to monotherapy. Temporal QT instability, STVQTc was increased by oxytocin, fluoxetine / fluoxetine + oxytocin and risperidone / risperidone + oxytocin. Similar APD-prolonging effects were confirmed in isolated cardiomyocytes due to differential effects of the compounds on repolarizing ion currents: Oxytocin reduced IKs, fluoxetine and risperidone reduced IKr, resulting in additive effects on IKtotal-tail. In addition, oxytocin reduced IK1, further reducing the repolarization reserve. Conclusion Oxytocin, risperidone and fluoxetine prolong QTc / APD. Combined treatment further prolongs QTc/APD due to differential effects on IKs and IK1 (block by oxytocin) and IKr (block by risperidone and fluoxetine), leading to pronounced impairment of repolarization reserve. Oxytocin should be used with caution in patients in the context of acquired LQTS

Beneficial normalization of cardiac repolarization by carnitine in transgenic SQT1 rabbit models.

AIMS Short-QT-syndrome type 1 (SQT1) is a genetic channelopathy caused by gain-of-function variants in HERG underlying the rapid delayed-rectifier K+ current (IKr), leading to QT-shortening, ventricular arrhythmias, and sudden cardiac death. Data on efficient pharmaco-therapy for SQT1 are scarce. In patients with primary carnitine-deficiency, acquired-SQTS has been observed and rescued by carnitine-supplementation. Here, we assessed whether carnitine exerts direct beneficial (prolonging) effects on cardiac repolarization in genetic SQTS. METHODS AND RESULTS Adult wild-type (WT) and transgenic SQT1 rabbits (HERG-N588K, gain of IKr) were used. In vivo ECGs, ex vivo monophasic action potentials (APs) in Langendorff-perfused hearts, and cellular ventricular APs and ion currents were assessed at baseline and during L-Carnitine/C16-Carnitine-perfusion. 2D computer simulations were performed to assess reentry-based VT-inducibility.L-Carnitine/C16-Carnitine prolonged QT intervals in WT and SQT1, leading to QT-normalization in SQT1. Similarly, monophasic and cellular AP duration (APD) was prolonged by L-Carnitine/C16-Carnitine in WT and SQT1. As underlying mechanisms, we identified acute effects on the main repolarizing ion currents: IKr-steady, which is pathologically increased in SQT1, was reduced by L-Carnitine/C16-Carnitine and deactivation kinetics were accelerated. Moreover, L-Carnitine/C16-Carnitine decreased IKs-steady and IK1. In silico modelling identified IKr-changes as main factor for L-Carnitine/C16-Carnitine-induced APD-prolongation. 2D-simulations revealed increased sustained reentry-based arrhythmia formation in SQT1 compared to WT, which was decreased to the WT-level when adding carnitine-induced ion current changes. CONCLUSION L-Carnitine/C16-Carnitine prolong/normalize QT and whole heart/cellular APD in SQT1 rabbits. These beneficial effects are mediated by acute effects on IKr. L-Carnitine may serve as potential future QT-normalizing, anti-arrhythmic therapy in SQT1

Transgenic LQT2, LQT5, and LQT2-5 rabbit models with decreased repolarisation reserve for prediction of drug-induced ventricular arrhythmias

Background and Purpose Reliable prediction of pro‐arrhythmic side effects of novel drug candidates is still a major challenge. Although drug‐induced pro‐arrhythmia occurs primarily in patients with pre‐existing repolarisation disturbances, healthy animals are employed for pro‐arrhythmia testing. To improve current safety screening, transgenic long QT (LQTS) rabbit models with impaired repolarisation reserve were generated by overexpressing loss‐of‐function mutations of human HERG (HERG‐G628S , loss of IKr; LQT2), KCNE1 (KCNE1‐G52R , decreased IKs; LQT5), or both transgenes (LQT2‐5) in the heart. Experimental Approach Effects of K+ channel blockers on cardiac repolarisation and arrhythmia susceptibility were assessed in healthy wild‐type (WT) and LQTS rabbits using in vivo ECG and ex vivo monophasic action potential and ECG recordings in Langendorff‐perfused hearts. Key Results LQTS models reflect patients with clinically “silent” (LQT5) or “manifest” (LQT2 and LQT2‐5) impairment in cardiac repolarisation reserve: they were more sensitive in detecting IKr‐blocking (LQT5) or IK1/IKs‐blocking (LQT2 and LQT2‐5) properties of drugs compared to healthy WT animals. Impaired QT‐shortening capacity at fast heart rates was observed due to disturbed IKs function in LQT5 and LQT2‐5. Importantly, LQTS models exhibited higher incidence, longer duration, and more malignant types of ex vivo arrhythmias than WT. Conclusion and Implications LQTS models represent patients with reduced repolarisation reserve due to different pathomechanisms. As they demonstrate increased sensitivity to different specific ion channel blockers (IKr blockade in LQT5 and IK1 and IKs blockade in LQT2 and LQT2‐5), their combined use could provide more reliable and more thorough prediction of (multichannel‐based) pro‐arrhythmic potential of novel drug candidates