Jason L. Wright · University of North Texas Digital Library (University of North Texas) · 2008
Finding and identifying cryptography is a growing concern in the malware analysis community. In this paper, a heuristic method for determining the likelihood that a given function contains a cryptographic algorithm is discussed and the results of applying this method in various environments is shown. The algorithm is based on frequency analysis of opcodes that make up each function within a binary. 1
Cited by 2Open access
Pravir Malik · 2025
Cited by 0
Manuel M.T. Chakravarty · 1998
This paper introduces a monadic object code for functional languages that allows an architecture independent, compact representation of program modules; it includes support for distributed applications by featuring a light-weight thread model and asymmetric communication. It proposes to offset inefficiencies introduced by the architecture independence by specialising and optimizing the code before or during execution. The proposal is substantially different from classical bytecode in both the structure of the language, as it is a strongly-typed functional language encapsulating side-effects in monadic form, and the representation of the code, as it is a bit-aligned structurally, compressed code designed for runtime code-generation, not for interpretation.
Cited by 0
Wenyan Bi · OSF Preprints (OSF Preprints) · 2024
Cited by 0
2017
Cited by 0
Anup Kumar Bhattacharjee, G. Sen, S. D. Dhodapkar et al. · Lecture notes in computer science · 2000
Cited by 5
A. K. Bhattacharjee, G. Sen, S. D. Dhodapkar et al. · 2007
In several key safety-critical embedded applications, it has become mandatory to verify the process of translation by compilers since usually compilers are only certi ed rather than veri ed. In this paper, we shall describe a methodology and a system for the validation of translation of a safe-subset of Ada to assembly language programs. The work described here is an application of Translation Validation technique to safety-critical programs that are developed using standard software engineering practices using safe subsets of Ada such as SPARK Ada [3]. Our method consists of converting the high level language (HLL) program and its object code to a common semantic representation such as Fair Transition System (FTS) [6], and then establishing that the object code is a re nement of the HLL program. The proof of re nement is performed using STeP (Stanford Temporal Prover) theorem prover. The proposed approach also has the additional advantage that the embedded system remains unaected by compiler revisions/updates. We conclude with a discussion of our practical experience, eectiveness and further possibilities.
Cited by 0
Asma Shaheen, Usman Qamar, Aiman Khan Nazir et al. · Studies in computational intelligence · 2019
Cited by 3
User Input, Jan Plane, Ben Bederson et al. · 2010
Popular modern language Used in web, business, telecom applications Developed in 1990s, incorporates many features from earlier languages � Object-orientation
Cited by 0
Estévez Martín, Daniel · Archivo Digital UPM (Universidad Politécnica de Madrid) · 2017
El proyecto "Independent Object Code Generator and Visualiser" (IOCGV) es un programa que toma como entrada un código intermedio, crea un grafo de árbol intermedio y aplica la técnica de optimización de la paralelización dando así lugar a un código equivalente pero estructurado en bloques de código independientes. Finalmente crea un archivo *.svg que contiene el grafo final con los bloques de código independientes.---ABSTRACT---The project “Independent Object Code Generator and Visualiser” (IOCGV) is a program that takes as input an intermediate object code, creates an intermediate tree graph and applying the optimisation technique of parallelisation generates an equivalent code but structured by independent blocks. It generates a graph that represents the generated independent blocks of code. And finally it creates a *.svg file with such graph.
Cited by 0Open access
Plasmeijer, M.J., Smetsers, S., Weelden, A. van · Radboud Repository (Radboud University) · 2008
Contains fulltext : 290062.pdf (Publisher’s version ) (Open Access)
Cited by 0Open access
Taejoon Byun, Vaibhav Sharma, Sanjai Rayadurgam et al. · 2017
Object-branch coverage (OBC) is often used as a measure of the thoroughness of tests suites, augmenting or substituting source-code based structural criteria such as branch coverage and modified condition/decision coverage (MC/DC). In addition, with the increasing use of third-party components for which source-code access may be unavailable, robust object-code coverage criteria are essential to assess how well the components are exercised during testing. While OBC has the advantage of being programming language independent and is amenable to non-intrusive coverage measurement techniques, variations in compilers and the optimizations they perform can substantially change the structure of the generated code and the instructions used to represent branches. To address the need for a robust object coverage criterion, this paper proposes a rigorous definition of OBC such that it captures well the semantics of source code branches for a given instruction set architecture. We report an empirical assessment of these criteria for the Intel x86 instruction set on several examples from embedded control systems software. Preliminary results indicate that object-code coverage can be made robust to compilation variations and is comparable in its bug-finding efficacy to source level MC/DC.
Cited by 5
For The Enterprise, William J. Ray, Andy Farrar · 2008
field of distributed, collaborative computing. In a typical JTF command hierarchy, the critical people, relevant data, and their supporting computers
Cited by 0
Jan Tobias Mühlberg · 2008
Cited by 0
John Verboncoeur, A. B. Langdon, N. T. Gladd · Computer Physics Communications · 1995
Cited by 649
Muhammad Usman Bhatti, ROLLAND, Colette, DUCASSE, Stéphane · LillOA (Université de Lille (University Of Lille)) · 2009
In this dissertation, we present Procedural Object-Oriented Code (POC).POC is the aftermath of the software development activity that involves state of the art object-oriented languages, without employing object-oriented analysis and design.Huge classes, absence of abstractions for domain entities, and shallow inheritance hierarchies are hallmark design defects of procedural object-oriented code.POC also consists of scattered code appearing not only due to the absence of aspects, but it also manifests scattered code appearing due to the non-abstracted domain entities i.e., domain entities that do not have their proper object-oriented classes.The non-abstracted domain logic hinders mining useful crosscutting concerns related to aspects in POC.Confronted with the absence of object-oriented design and the difficulty of mining aspects in POC, we studied it from two perspectives.First, we improve aspect mining techniques by classifying various crosscutting concerns identified in POC with a two-pronged approach: Firstly, the approach identifies and groups crosscutting concerns present in a software system: aspects as well as non-abstracted domain logic.Crosscutting concerns pertaining to nonabstracted domain entities are identified and extracted through their usage of application domain entity data.Secondly, a new metric called spread-out is introduced to quantify the divulgence of diverse crosscutting concerns.Second, we studied the problem of object identification in procedural objectoriented code.We present a semi-automatic, tool-assisted approach for restructuring POC into an improved object-oriented design.The approach identifies principal classes in POC.These principal classes are then used to extract object-oriented abstractions using Formal Concept Analysis lattices.This is achieved by providing three different concept lattices, namely fundamental, association, and interactions views.We developed tools to validate the approaches presented in the thesis.The approaches are validated on a recently developed industrial application.The application is used to run blood plasma analysis automatons.The results of our approach are promising.v vi
Cited by 0Open access
Gorelov Oleg Sergeyevich · SHILAP Revista de lepidopterología · 2020
The article considers the object principle, one of the principles-biases of the surrealist code of literature. During the 20th century under the influence of the code surrealism objectified, and there is a shift in emphasis from the surrealistic thing to the object. If an object enters into a metonymic relationship with a thing, it enters into a reverse connection with a subject: an object is an anticipation of the subject and not a projection as is the case with a thing. In fiction texts objectification carries out the synthesis of living and non-living, and code objectification is a synthesis of the imaginary and perceived. As a result of comparing the object principle with the latest trends in philosophy, it is concluded that the object orientation of the code deconstructs the essentialist installation of classical surrealism.
Cited by 0Open access
Daniel Wilkerson, David Alexander Molnar, Matthew Harren et al. · 2010
personal or classroom use is granted without fee provided that copies are not made or distributed for profit or commercial advantage and that copies bear this notice and the full citation on the first page. To copy otherwise, to republish, to post on servers or to redistribute to lists, requires prior specific
Cited by 0
Duo Ding, Minbo Li, Zhu Zhu · 2018
The Electronic Product Code (EPC) network is a collection of industrial standards designed to build an Internet of physical objects. The Object Naming Service (ONS), a directory based on the Domain Name System (DNS) is one of the important components of the EPC network. ONS provides a connection between the product code and Information Services (IS) in IoT systems. However, object identification standards used by these IoT information systems are usually customized and inhomogeneous. Therefore it is difficult to integrate these systems for real-time data sharing. To solve this problem, in this paper, we propose an extension of ONS architecture to dynamically support heterogeneous object code identification. A syntax called Formal Decoding Rule (FDR) is designed to define the rules of parsing object code, so that decoding rules can be decoupled from ONS hardcode program. Object Identifier (OID) is imported to manage heterogeneous code rules, which offers open registration of new identification standards by IoT subscribers and allows real-time updates in the ONS network. And there is a one-to-one correspondence between FDR and OID. In a typical query, ONS first detects the OID of an object, finds its corresponding FDR and then resolves the object code to corresponding resource address according to this FDR. By this mechanism, IoT applications with different object code identification standards is possible to be integrated into a larger network to implement real-time data sharing. In addition, this extended ONS architecture can dynamically support heterogeneous web service interface resolving. This paper presents experimental results to illustrate a better performance of ONS using FDR than usual ONS.
Cited by 12
Cibák, Michal · Brno University of Technology Digital Library (Brno University of Technology) · 2022
Cieľom tejto práce je analyzovať aktuálne riešenie generátoru kódu z Objektovo orientovaných Petriho sietí zapísaných v jazyku PNTalk do jazyku Java, navrhnúť jeho úpravy a implementovať ich. Ako prvý bol analyzovaný celkový návrh a boli špecifikované chýbajúce časti, následne bol analyzovaný zdrojový kód prekladača a boli odhalené chyby. Boli implementované navrhnuté opravy chýb v prekladači a niektoré chýbajúce časti z návrhu boli implementované čiastočne v rámci prekladača.
Cited by 0Open access