scholarly journals BAHK: Flexible Automated Binary Analysis Method with the Assistance of Hardware and System Kernel

2020 ◽  
Vol 2020 ◽  
pp. 1-19 ◽  
Author(s):  
Jiaye Pan ◽  
Yi Zhuang ◽  
Binglin Sun

To protect core functions, applications often utilize the countermeasure techniques such as antidebugging to avoid analysis by outsiders, especially the malware. Dynamic binary instrumentation is commonly used in the analysis of binary programs. However, it can be easily detected and has stability and applicability problems as it involves program rewriting and just-in-time compilation. This paper proposes a new lightweight analysis method for binary programs with the assistance of hardware features and the operating system kernel, named BAHK, which can automatically analyze the target program by stealth and has wide applicability. With the support of underlying infrastructures, this paper designs several optimization strategies and specific analysis approaches at instruction level to reduce the impact of fine-grained analysis on the performance of target program so that it can be well applied in practice. The experimental results show that the proposed method has good stealthiness, low memory consumption, and positive user experience. In some cases, it shows better analysis performance than the traditional dynamic binary instrumentation method. Finally, the real case studies further show its feasibility and effectiveness.

IEEE Access ◽  
2020 ◽  
Vol 8 ◽  
pp. 164593-164610
Author(s):  
Jiaye Pan ◽  
Zhuang Yi ◽  
Zhao Xue-Jian ◽  
Binglin Sun

2017 ◽  
Vol 11 (3) ◽  
pp. 255
Author(s):  
Jeky El Boru

Abstract: This research aims to analyze the impact of Janti Flyover Construction toward the growth of layout at Janti Urban Area, including structured space, open space, and linkage. Method used for data collecting are observation, air photograph monitoring, and interview, whereas the analysis method is qualitative description, which is the superimposed method of two layers, that are the layout condition before and after flyover construction. The result shows that the impact of Janti Flyover construction can be seen on building mass (solid), the increasing number of open spaces, including the road network, parking place, and park, whereas the relation between spaces, visually and structurally, can be seen on the growth of buildings which have new shapes and styles, therefore the performance of the overall building does not have a proportional shape. Considering Janti Street at the collective relation, its role is getting stronger as the main frame road network.Keywords: Flyover construction, layout changing, Janti AreaAbstrak: Penelitian ini bertujuan untuk menganalisis pengaruh pembangunan Jalan Layang Janti terhadap perkembangan tata ruang Kawasan Janti, meliputi ruang terbangun, ruang terbuka, serta hubungan antar ruang (“linkage”). Metode pengumpulan data dilakukan melalui observasi, pengamatan foto udara, dan wawancara; sedangkan metode analisis melalui deskripsi secara kualitatif yang berupa “superimposed method” dari dua lapisan kondisi lahan, yakni kondisi tata ruang sebelum dan sesudah pembangunan jalan layang. Hasil penelitian menunjukkan bahwa pengaruh pembangunan Jalan Layang Janti terdapat pada massa bangunan (“solid”), pertambahan ruang terbuka yang berupa jaringan jalan, parkir, dan taman; sedangkan pada hubungan antar ruang ̶ secara visual dan struktural ̶ yakni tumbuhnya bangunan dengan bentuk dan gaya baru, sehingga bentuk tampilan bangunan secara keseluruhan tidak proporsional. Pada hubungan kolektif, Jalan Janti semakin kuat perannya sebagai kerangka utama jaringan jalan.Kata kunci : Pembangunan jalan layang, tata ruang, Kawasan Janti


2017 ◽  
Vol 2 (1) ◽  
pp. 1
Author(s):  
Amirul Amin Ismail ◽  
Ismail Samsuddin ◽  
Azman Zainonabidin ◽  
Harlina Mohd Ali

By the year 2030, Malaysian population will experience the after effects of the rapid growth of ageing society. This paper investigates the impact of seamless integration of horticultural activity in the new residential typology of retirement community. It is believed that horticultural therapy is not only beneficial for physical and psychological but also promotes socialisation opportunities among the elderly. Comparative analysis method on selected precedent studies has been carried out and analysed in accordance with Malaysian context. Initial findings indicate that a retirement community with horticultural activity gives therapy for healthier well-being. This therapeutic activity can be apositive change in elderly lifestyle and essential towards the establishment of retirement community in Malaysia. 


Water ◽  
2020 ◽  
Vol 12 (1) ◽  
pp. 219 ◽  
Author(s):  
Antonio-Juan Collados-Lara ◽  
David Pulido-Velazquez ◽  
Rosa María Mateos ◽  
Pablo Ezquerro

In this work, we developed a new method to assess the impact of climate change (CC) scenarios on land subsidence related to groundwater level depletion in detrital aquifers. The main goal of this work was to propose a parsimonious approach that could be applied for any case study. We also evaluated the methodology in a case study, the Vega de Granada aquifer (southern Spain). Historical subsidence rates were estimated using remote sensing techniques (differential interferometric synthetic aperture radar, DInSAR). Local CC scenarios were generated by applying a bias correction approach. An equifeasible ensemble of the generated projections from different climatic models was also proposed. A simple water balance approach was applied to assess CC impacts on lumped global drawdowns due to future potential rainfall recharge and pumping. CC impacts were propagated to drawdowns within piezometers by applying the global delta change observed with the lumped assessment. Regression models were employed to estimate the impacts of these drawdowns in terms of land subsidence, as well as to analyze the influence of the fine-grained material in the aquifer. The results showed that a more linear behavior was observed for the cases with lower percentage of fine-grained material. The mean increase of the maximum subsidence rates in the considered wells for the future horizon (2016–2045) and the Representative Concentration Pathway (RCP) scenario 8.5 was 54%. The main advantage of the proposed method is its applicability in cases with limited information. It is also appropriate for the study of wide areas to identify potential hot spots where more exhaustive analyses should be performed. The method will allow sustainable adaptation strategies in vulnerable areas during drought-critical periods to be assessed.


Ceramics ◽  
2021 ◽  
Vol 4 (2) ◽  
pp. 331-363
Author(s):  
Eugeniy Lantcev ◽  
Aleksey Nokhrin ◽  
Nataliya Malekhonova ◽  
Maksim Boldin ◽  
Vladimir Chuvil'deev ◽  
...  

This study investigates the impact of carbon on the kinetics of the spark plasma sintering (SPS) of nano- and submicron powders WC-10wt.%Co. Carbon, in the form of graphite, was introduced into powders by mixing. The activation energy of solid-phase sintering was determined for the conditions of isothermal and continuous heating. It has been demonstrated that increasing the carbon content leads to a decrease in the fraction of η-phase particles and a shift of the shrinkage curve towards lower heating temperatures. It has been established that increasing the graphite content in nano- and submicron powders has no significant effect on the SPS activation energy for “mid-range” heating temperatures, QS(I). The value of QS(I) is close to the activation energy of grain-boundary diffusion in cobalt. It has been demonstrated that increasing the content of graphite leads to a significant decrease in the SPS activation energy, QS(II), for “higher-range” heating temperatures due to lower concentration of tungsten atoms in cobalt-based γ-phase. It has been established that the sintering kinetics of fine-grained WC-Co hard alloys is limited by the intensity of diffusion creep of cobalt (Coble creep).


Author(s):  
Marvin Schmidt ◽  
Andreas Schütze ◽  
Stefan Seelecke

Energy saving and environmental protection are topics of growing interest. In the light of these aspects alternative refrigeration principles become increasingly important. Shape memory alloys (SMA), especially NiTi alloys, generate a large amount of latent heat during solid state phase transformations, which can lead to a significant cooling effect in the material. These materials do not only provide the potential for an energy-efficient cooling process, they also minimize the impact on the environment by reducing the need for conventional ozone-depleting refrigerants. Our paper, presenting first results obtained in a project within the DFG Priority Program SPP 1599 “Ferroic Cooling”, focuses on the thermodynamic analysis of a NiTi-based cooling system. We first introduce a suitable cooling process and subsequently illustrate the underlying mechanisms of the process in comparison with the conventional compression refrigeration system. We further introduce a graphical solution to calculate the energy efficiency ratio of the system. This thermodynamic analysis method shows the necessary work input and the heat absorption of the SMA in stress/strain- or temperature/entropy-diagrams, respectively. The results of the calculations underline the high potential of this solid-state cooling methodology.


Author(s):  
ISABEL GARCIA-CONTRERAS ◽  
JOSÉ F. MORALES ◽  
MANUEL V. HERMENEGILDO

Abstract Context-sensitive global analysis of large code bases can be expensive, which can make its use impractical during software development. However, there are many situations in which modifications are small and isolated within a few components, and it is desirable to reuse as much as possible previous analysis results. This has been achieved to date through incremental global analysis fixpoint algorithms that achieve cost reductions at fine levels of granularity, such as changes in program lines. However, these fine-grained techniques are neither directly applicable to modular programs nor are they designed to take advantage of modular structures. This paper describes, implements, and evaluates an algorithm that performs efficient context-sensitive analysis incrementally on modular partitions of programs. The experimental results show that the proposed modular algorithm shows significant improvements, in both time and memory consumption, when compared to existing non-modular, fine-grain incremental analysis techniques. Furthermore, thanks to the proposed intermodular propagation of analysis information, our algorithm also outperforms traditional modular analysis even when analyzing from scratch.


Sign in / Sign up

Export Citation Format

Share Document