SSA Transformations to Facilitate Type Inference in Dynamically Typed Code

Quiroga, José; Ortín, Francisco

doi:10.1093/comjnl/bxw108

Cited by 4 publications

(4 citation statements)

References 29 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…The characteristics of ProcessPerformance have made it a valuable tool to measure the runtime resources consumed by many kinds of applications. In the scenario of comparing techniques for the implementation of programming languages, ProcessPerformance has been used to measure runtime execution and memory consumption of program specialization [28], static single assignment (SSA) transformations [29], hybrid dynamic and static typing [30], compiler implementation [31], runtime type cache optimization [32], intersection and union types [33], and type inference [34]. It has also been used to compare the efficiency of different Python implementations [35], the invokedynamic opcode included in Java 7 [36], the implementation of dynamic languages for the Java platform [37], and the adaptability of Java applications [38].…”

Section: Impactmentioning

confidence: 99%

ProcessPerformance: A portable and easy-to-use tool to measure resource consumption of running processes

García¹,

Quiroga²,

Ortín³

2022

Software Impacts

Self Cite

View full text Add to dashboard Cite

The measurement of the resources consumed by an application at runtime is an important task in different scenarios such as program optimization, malware and bug detection, and hardware scaling. Although different tools exist for this purpose, they sometimes show some limitations such as operating system and hardware dependencies, performance overhead, and usage complexity. For this reason, we create ProcessPerformance, a portable and easy-to-use command-line tool that provides information about the CPU, memory, and network resources consumed by any combination of running processes. It also avoids the performance overhead caused by software and binary code injection.

show abstract

Section: Impactmentioning

confidence: 99%

ProcessPerformance: A portable and easy-to-use tool to measure resource consumption of running processes

García¹,

Quiroga²,

Ortín³

2022

Software Impacts

Self Cite

View full text Add to dashboard Cite

show abstract

“…The static single assignment (SSA) form [21] is source code expressed in the intermediate representation form under the condition that all variables are defined before use and assigned only once, which can be achieved by renaming variables such that each variable name occurs only once on the left-hand side of an assignment statement. Figure 2a illustrates such variable renaming.…”

Section: Background 21 Static Analysismentioning

confidence: 99%

An Approach for Detecting Feasible Paths Based on Minimal SSA Representation and Symbolic Execution

2021

View full text Add to dashboard Cite

Static analysis is one of the techniques used today to analyze source codes and minimize the issue of software vulnerability. Static analysis has the ability to observe all possible software paths in an application through the scrutiny of a web application’s source code. Among those paths, some may be considered feasible paths, which refer to any paths that the test cases can execute. The detection of feasible paths in the results of a static analysis helps to minimize the false positive rate. However, the detection of feasible paths can be challenging, especially for programs that have multiple conditions in the same branch. The aim is to ensure that each feasible path is detected only once (not duplicated). This paper proposes an approach based on minimal static single assignment (MSSA) form and symbolic execution to detect feasible paths. The proposed approach starts by converting the source code into an abstract syntax tree (AST), followed by converting the AST to minimal SSA representation, which helps to decrease the number of instructions in the SSA form. An algorithm was built to examine all of the instructions of the SSA form, identify whole paths in the source code, and extract constraints along each path. A path weight method (PWM) is proposed in this work to avoid detecting duplicated feasible paths. The satisfiability modulo theory (SMT) solver was used to check the satisfiability of each path condition. The proposed approach was tested on seven well-known test programs that have been used in related studies and 10 large scale programs. The experimental results indicate that the proposed method (PWM) can avoid detecting duplicated feasible paths, and the proposed approach reduced the time required for generating the paths compared to that in related studies.

show abstract

“…Occasionally semantic-driven translation can also be encountered [13]. SSA syntax has been recently applied for inference of types in dynamic languages [45], such as Python. Parametrization of GCC compiler due to limited resources has been presented in [44].…”

Section: Related Workmentioning

confidence: 99%

Developing a Multiplatform Control Environment

Rzońca¹,

Sadolewski²,

Stec³

et al. 2019

JAMRIS

View full text Add to dashboard Cite

IEC 61131-3 control environment is called multiplatform if source programs can be executed by various processors, beginning from 8-bit microcontrollers up to 32/64bit efficient CPUs. This implies that virtual machine (VM), i.e. a software implemented processor, is used as runtime by the host CPU. The VM executes certain intermediate code into which IEC 61131-3 programs are compiled. Environment of this type called CPDev has been gradually developed by the authors over the last decade, beginning with initial report in this journal in 2008 [47]. However, technical implementations of its functionalities have not been described so far. This involves such matters as intermediate language, parametrization of the compiler and VM, multiproject runtime, translators of graphical languages, device-independent HMI, target platform and communication interfacing, which are presented in compact form in this paper. Some characteristic industrial implementations are indicated.

show abstract

SSA Transformations to Facilitate Type Inference in Dynamically Typed Code

Cited by 4 publications

References 29 publications

ProcessPerformance: A portable and easy-to-use tool to measure resource consumption of running processes

ProcessPerformance: A portable and easy-to-use tool to measure resource consumption of running processes

An Approach for Detecting Feasible Paths Based on Minimal SSA Representation and Symbolic Execution

Developing a Multiplatform Control Environment

Contact Info

Product

Resources

About