Cross-site Scripting (XSS) is ranked first in the top 25 Most Dangerous Software Weaknesses (2020) of Common Weakness Enumeration (CWE) and places this vulnerability as most dangerous among programming errors. This work explores static approaches to detect XSS vulnerabilities using neural networks. We compare two different code representations based on Natural Language Processing (NLP) Programm...

The Linux Kernel is a world-class operating system controlling most of our computing infrastructure: mobile devices, Internet routers and services, the supercomputers. also an example low-level software with no comprehensive regression test suite (for good reasons). kernel’s tremendous societal importance imposes strict stability correctness requirements. These properties make challenging relev...

Combination of descriptive entities—i.e. multiple inheritance and related mechanisms—is usually only supported at compile time in statically typed languages. The language gbeta is statically typed and has supported run-time creation of classes and methods since 1997, by means of the pattern combination operator ‘&’. However, with certain combinations of operands the ‘&’ operator fails; as a res...

The construction of new high speed railway infrastructure in many European countries is actually a great civil engineering effort. One of the main design issues is related to the fact that trains at speeds above 220 km/h may induce resonance effects in structures as bridges, subway frames, etc. In consequence, the design of such structures requires dynamic calculations. Several methods are avai...

In earlier papers qualifying types were presented as a technique for dynamically qualifying objects in a general way. This paper considers how such types can be composed statically into the definitions of other types.