Evidence flow graph methods for validation and verification of expert systems

The results of an investigation into the use of evidence flow graph techniques for performing validation and verification of expert systems are given. A translator to convert horn-clause rule bases into evidence flow graphs, a simulation program, and methods of analysis were developed. These tools were then applied to a simple rule base which contained errors. It was found that the method was capable of identifying a variety of problems, for example that the order of presentation of input data or small changes in critical parameters could affect the output from a set of rules

Towards Vulnerability Discovery Using Staged Program Analysis

Eliminating vulnerabilities from low-level code is vital for securing software. Static analysis is a promising approach for discovering vulnerabilities since it can provide developers early feedback on the code they write. But, it presents multiple challenges not the least of which is understanding what makes a bug exploitable and conveying this information to the developer. In this paper, we present the design and implementation of a practical vulnerability assessment framework, called Melange. Melange performs data and control flow analysis to diagnose potential security bugs, and outputs well-formatted bug reports that help developers understand and fix security bugs. Based on the intuition that real-world vulnerabilities manifest themselves across multiple parts of a program, Melange performs both local and global analyses. To scale up to large programs, global analysis is demand-driven. Our prototype detects multiple vulnerability classes in C and C++ code including type confusion, and garbage memory reads. We have evaluated Melange extensively. Our case studies show that Melange scales up to large codebases such as Chromium, is easy-to-use, and most importantly, capable of discovering vulnerabilities in real-world code. Our findings indicate that static analysis is a viable reinforcement to the software testing tool set.Comment: A revised version to appear in the proceedings of the 13th conference on Detection of Intrusions and Malware & Vulnerability Assessment (DIMVA), July 201

Tibiofemoral and patellofemoral joint 3D-kinematics in patients with posterior cruciate ligament deficiency compared to healthy volunteers

Background: The posterior cruciate ligament (PCL) plays an important role in maintaining physiological kinematics and function of the knee joint. To date mainly in-vitro models or combined magnetic resonance and fluoroscopic systems have been used for quantifying the importance of the PCL. We hypothesized, that both tibiofemoral and patellofemoral kinematic patterns are changed in PCL-deficient knees, which is increased by isometric muscle flexion. Therefore the aim of this study was to simultaneously investigate tibiofemoral and patellofemoral 3D kinematics in patients suffering from PCL deficiency during different knee flexion angles and under neuromuscular activation. Methods: We enrolled 12 patients with isolated PCL-insufficiency as well as 20 healthy volunteers. Sagittal MR-images of the knee joint were acquired in different positions of the knee joint (0[degree sign], 30[degree sign], 90[degree sign] flexion, with and without flexing isometric muscle activity) on a 0.2 Tesla open MR-scanner. After segmentation of the patella, femur and tibia local coordinate systems were established to define the spatial position of these structures in relation to each other. Results: At full extension and 30[degree sign] flexion no significant difference was observed in PCL-deficient knee joints neither for tibiofemoral nor for patellofemoral kinematics. At 90[degree sign] flexion the femur of PCL-deficient patients was positioned significantly more anteriorly in relation to the tibia and both, the patellar tilt and the patellar shift to the lateral side, significantly increased compared to healthy knee joints. While no significant effect of isometric flexing muscle activity was observed in healthy individuals, in PCL-deficient knee joints an increased paradoxical anterior translation of the femur was observed at 90[degree sign] flexion compared to the status of muscle relaxation. Conclusions: Significant changes in tibiofemoral and patellofemoral joint kinematics occur in patients with isolated PCL-insufficiency above 30 degrees of flexion compared to healthy volunteers. Since this could be one reasonable mechanism in the development of OA our results might help to understand the long-term development of tibiofemoral and/or patellofemoral osteoarthritis in PCL-insufficient knee joints