This paper addresses the problem of recovering variable-like entities when analyzing executables in the absence of debugging information. We show that variable-like entities can be recovered by iterating Value-Set Analysis (VSA), a combined numeric-analysis and pointer-analysis algorithm, and Aggregate Structure Identification, an algorithm to identify the structure of aggregates. Our initial e...

The term 'The Divine Command Theory of Ethics' is similar to 'The Ontological Argument' in that there is no unique entity deserving of that title. Rather, there is a multiplicity of theories, each of which is appropriately taken to be a divine command theory. The strongest versions are, if not the finest, at least definist. That is, according to these versions moral predicates, such as 'is obli...

Abstract The concept of metaphysical grounding refers to a dependence relation—a relation between facts that is asymmetrical and non-causal. I aim apply this Divine Command Theory (DCT) moral obligations. command theorists say obligations arise from God’s commands. argue the three main views on divine obligation—causal, supervenience, identity—do not capture all we desire in theory After attemp...

This article is one of the first to examine the relationships among a specific combination of "spiritual virtues" (helping others and the experience of divine love) and outcomes related to criminal involvement, sobriety, and character development among adolescents. One-hundred ninety five adolescents with substance dependency court-referred to residential treatment were assessed at intake, disc...

The main subject of this study is to examine the possibility of discussing the divine essence in Ibn ‘Arabī‘s school of mysticism. The author of this article intends to investigate the possibility of the relative discussion of the divine essence. However, opposing theories such as ‘Allāmah Ṭabātabā’ī’s stance in Al-Rasā’il al-tawḥīdiyya favor the absolute impossibility of talking about the divi...

the Christian theology of religions. Introduction A remarkable revival of Trinitarian theology emerged in the twentieth century. Karl Rahner, on the Catholic side, and Karl Barth, on the Protestant side, played key roles in the “ecumenical rediscovery” of the Trinity. In addition to rethinking elements of this central doctrine (e.g., nature of divine personhood, Filioque, etc.), this resurgence...