Search Results for "toolkit"

...BAP features its own domain-specific language, Primus Lisp, that is used for implementing analyses, specifying verification conditions, modeling functions (writing stubs) and even interfacing with the SMT solver. The toolkit repository includes various examples of program analysis tools that could be implemented with BAP and can be used as the starting point (in addition to the tutorial) for implementing custom analyses. BAP can be used as a framework with a single bap utility that is extended with plugins or it can be used as a library embedded in a user application, which could be written in OCaml.

MarbleRemote est une application Android qui permet d'émuler la souris et la clavier d'un ordinateur cible. Il utilise le protocole UDP, l'appareil Android et le PC doivent être connectés sur le même réseau local (la même box, en wifi ou connexion filaire) Permission de l'apk Android package: com.marble.remote uses-permission: android.permission.ACCESS_NETWORK_STATE uses-permission: android.permission.ACCESS_WIFI_STATE uses-permission: android.permission.INTERNET uses-permission:...

HALT is a developer friendly programming and simulation environment for the Motorola 680x0 family of processors. Targeted at academia, it is centered around ease of use and utility.

Tool for creating/modifying disk images for ZX Spectrum's MDOS3 system.

This program will open and display images saved in HGR format. Also supports DHGR in two popular formats: BeagleGraphics and DazzleDraw. It will save as PICT and allow batch conversions.