Search Results for "computer-aided software engineering"

dracxterm is a terminal for Android. Open it and a shell is waiting. If you want a full Linux, the app can install Debian 13 or Kali inside its own storage, and you work as you would on a computer. The phone does not need root, and there is no account to create. The terminal draws colours and keeps scrollback, so full-screen programs like nano and htop look right. UTF-8 text displays properly, CJK included. You get five workspaces, each with its own shell and history, plus an extra key...

...While it is often used for testing activation workflows, it also serves as a practical example of protocol emulation and reverse engineering in software systems.

The Miasm intermediate representation is used for multiple task: emulation through its jitter engine, symbolic execution, DSE, program analysis, but the intermediate representation can be a bit hard to read. We will present in this article new tricks Miasm has learned in 2018. Among them, the SSA/Out-of-SSA transformation, expression propagation and high-level operators can be joined to “lift” Miasm IR to a more human-readable language. We use graphviz to illustrate some graphs. Its layout...

The Wolfram Machine project is an effort to create a set of documentation and useful modules (both hardware and software) for a computing architecture based on the mathematical theories presented in Steven Wolfram's book _A_New_Kind_of_Science_.