Blog Posts

The Trade War between China and the USA

Tariff means that a country imposes taxes on imports with another country. This is done to motivate people to buy goods manufactured in one’s own country rather than buying imported goods at higher prices.

The Balance between Economic Growth and the Environment

The Nobel Prize in 2018 has been awarded to two American economists: William Nordhaus (77) and Paul Romer (62). They have been chosen for this honor because of their very novel contribution to the research connecting economic growth and the environment. They have come up with a complex model depicting the effect of environment perturbance on economic growth. We already were aware that the harm we do to our nature affects our health, our resources, the ecological balance etc.

AT&T vs. Intel

Assembly language is a low level programming language for your computer or any other programmable devices. Program written in human understandable language such as C and C++ are compiled in to assembly language which is more understandable by microprocessors. However, there are several acceptable assembly syntaxes.

Software Binary Analysis

Software Binaries are nothing but compiled executables of your program written in a programming language. When you pass the program as a text file with a certain extension (for example, .cpp or .c) to its respective compiler you get the executable, which is nothing but the binary. Simply, these files are something you can not directly read unless disassembled. The term binary means  a sequence of 0s and 1s which would represent the low and high voltages respectively, but Software Binaries are not comprised of just 0s and 1s but a series of CPU readable numbers.

How to extract and use constraints from source code?

Most static analysis techniques over source code start with constructing an Abstract Syntax Tree (AST), or constructing call graphs.  Eclipse JDT has tools necessary to do these tasks. It is straightforward to traverse through the AST to collect information about the lines, methods, loops, conditions, variables, etc., used in the source code. Here’s a simple example where you can just insert your code whenever Eclipse JDT finds a method declaration node in the AST.


Links to tools created by the group

Get in touch with us

Education - This is a contributing Drupal Theme
Design by WeebPal.