Modern trends in software engineering such as dynamic programming features, extensive use of third-party libraries or various different execution environments are posing hard challenges for static analysers. Therefore the use of Abstract Interpretation is limited. Dynamic analysis methods are often not constrained by these practices. Therefore, it seems obvious to combine Abstract Interpretation with different dynamic analysis methods to mutually compensate each disadvantages. This elaboration will recap on a few ways to combine Abstract Interpretation and dynamic analysis. Also problems that still need to be solved are shown.
Recap of Patrick Cousot paper about Abstract Interpretation principles and some use cases.
Workaround for some errors with alacritty over ssh.
Bash oneliner to make a pdf look scanned
In case it is needed sometimes, the superuser password for the Archer VR1600v v2 router is: VExy!64a3ng source: https://www.marcelvarallo.com/so-we-cracked-the-archer-vr1600v-v2-super-user-password/
Source: Ashwin Krish Why is it that for the equality checking of binary trees, an inorder + preorder or inorder + postorder traversal is done? How do these combinations ensure the equality of trees? Let us think of the inverse problem. Let us construct a tree given the in-order and say pre-order traversals of a tree. The first element of pre-order will give you the root node. Because the root is always visited first.
Array.forEach is not waiting for async functions. When is this a problem and how can we avoid it?
Eine möglich Lösung des Celbrity-Problems unter Zuhilfenahme eines Stack mit Laufzeit O(n)
Vorstellung des Tools Spacedeck mit dem gemeinsam auf einem Virtuellen Whiteboard gearbeitet werden kann.
marvin@weiler.rocks BA59B7D94DC6B802C897BD513DAF550DFA1948E8
Katex is a LaTeX in HTML renderer. But there can be some incompatibilities with the Restructured Text standard.