Integers represent a growing and underestimated source of vulnerabilities in C and C++ programs. In this paper, we present the as-if infinitely ranged (AIR) integer model, which provides a largely automated mechanism for eliminating integer overflow, truncation, and other integral exceptional conditions. The AIR integer model either produces a value equivalent to one that would have been obtain...

Abstract The on-going digitalization of our critical infrastructures is progressing fast. There also a growing trend serious and disrupting cyber-attacks. digital services are often fragile, with many weaknesses vulnerabilities. This makes exploiting attacking the little too easy. If verifies all inputs, security threats will be avoided. Similarly, if one diligently tests malformed uncover soft...

this paper introduces a new approach to topology, based on category theory and universal algebra, and called categorically-algebraic (catalg) topology. it incorporates the most important settings of lattice-valued topology, including poslat topology of s.~e.~rodabaugh, $(l,m)$-fuzzy topology of t.~kubiak and a.~v{s}ostak, and $m$-fuzzy topology on $l$-fuzzy sets of c.~guido. moreover, its respe...

In this paper, we introduce the concept of the generalized topological molecular lattices as a generalization of Wang's topological molecular lattices,  topological spaces, fuzzy topological spaces, L-fuzzy topological spaces and soft topological spaces. Topological molecular lattices were defined by closed elements, but in this new structure we present the concept of the open elements and defi...

in this paper we introduce the concept of topological number for locally convex topological spaces and prove some of its properties. it gives some criterions to study locally convex topological spaces in a discrete approach.