GitHub - GaloisInc/crucible: Crucible is a library for symbolic simulation of imperative programs
Crucible is a language-agnostic library for performing forward symbolic execution of imperative programs. It provides a collection of data-structures and APIs for expressing programs as control-flow graphs. Programs expressed as CFGs in this way can be automatically explored by the symbolic execution engine. In addition, new data types and operations can be added to the symbolic simulator by imple
GitHub - smackers/smack: SMACK Software Verifier and Verification Toolchain
SMACK is both a modular software verification toolchain and a self-contained software verifier. It can be used to verify the assertions in its input programs. In its default mode, assertions are verified up to a given bound on loop iterations and recursion depth; it contains experimental support for unbounded verification as well. SMACK handles complicated feature of the C language, including dyna
Clang Static Analyzer
The Clang Static Analyzer is a source code analysis tool that finds bugs in C, C++, and Objective-C programs. The analyzer is 100% open source and is part of the Clang project. Like the rest of Clang, the analyzer is implemented as a C++ library that can be used by other tools and applications. To get started with the Clang Static Analyzer, visit the LLVM releases page for download and installatio
GitHub - davidar/lljvm: Low Level Java Virtual Machine
LLJVM provides a set of tools and libraries for running comparatively low level languages (such as C) on the JVM. The C to JVM bytecode compilation provided by LLJVM involves several steps. Source code is first compiled to LLVM intermediate representation (IR) by a frontend such as llvm-gcc or clang. LLVM IR is then translated to Jasmin assembly code, linked against other Java classes, and then as
Cling
What is Cling Cling is an interactive C++ interpreter, built on the top of LLVM and Clang libraries. Its advantages over the standard interpreters are that it has command line prompt and uses just-in-time (JIT) compiler for compilation. Many of the developers (e.g. Mono in their project called CSharpRepl) of such kind of software applications name them interactive compilers. One of Cling’s main go
Success is a Journey, not a Destination: å…¨ã¦ã®Cプãƒã‚°ãƒ©ãƒžãŒæœªå®šç¾©ãªæŒ¯ã‚‹èˆžã„ã«ã¤ã„ã¦çŸ¥ã£ã¦ãŠãã¹ãã“㨠#1/3
[What Every C Programmer Should Know About Undefined Behavior #1/3 ã®ç¿»è¨³ã§ã™ã€‚] LLVMã§ã‚³ãƒ³ãƒ‘イルã—ãŸã‚³ãƒ¼ãƒ‰ã¯ã€æœ€é©åŒ–を有効ã«ã—ã¦ã„ã‚‹ã¨ãŸã¾ã«SIGTRAPシグナルを生æˆã™ã‚‹ã®ã¯ãªãœãªã®ã‹ã€ã¨èžã‹ã‚Œã‚‹ã“ã¨ãŒã‚る。ã„ã‚ã„ã‚調ã¹ãŸã‚ã¨ã€(X86ã§ã®è©±ã ãŒ) Clang㯠"ud2" インストラクションを生æˆã—ã¦ã„ãŸã“ã¨ãŒã‚ã‹ã£ãŸã€‚"ud2" ã¯__builtin_trap()ãŒç”Ÿæˆã™ã‚‹ã‚¤ãƒ³ã‚¹ãƒˆãƒ©ã‚¯ã‚·ãƒ§ãƒ³ã¨åŒã˜ã‚‚ã®ã 。[訳注: #UD例外を発生ã•ã›ã‚‹å‘½ä»¤ã€‚ソフトウェアãŒ#UD例外をãƒãƒ³ãƒ‰ãƒ«ã§ãã¦ã„ã‚‹ã‹ãƒ†ã‚¹ãƒˆã™ã‚‹ãŸã‚ã«ä½¿ã‚れる。ã¤ã¾ã‚Šã€ã‚½ãƒ¼ã‚¹ã‚³ãƒ¼ãƒ‰ãŒæœªå®šç¾©ãªæŒ¯ã‚‹èˆžã„を使ã£ã¦ã„ãŸã‹ã‚‰ã€LLVMã¯ud2インストラクションを生æˆã—ãŸã®ã§ã‚ã£ã¦ã€LLVMã®ãƒã‚°ã§ã¯ãªã„ã€ã¨ã„ã†ã“ã¨] ã“ã†ã„ã†å•é¡Œã¯å¹¾ã¤ã‹ã‚ã£ã¦ã€ã™ã¹ã¦ã€Cã®æœªå®šç¾©ãªæŒ¯ã‚‹
1
ランã‚ング
ランã‚ング
メンテナンス
リリースã€éšœå®³æƒ…å ±ãªã©ã®ã‚µãƒ¼ãƒ“スã®ãŠçŸ¥ã‚‰ã›
最新ã®äººæ°—エントリーã®é…ä¿¡
j次ã®ãƒ–ックマーク
kå‰ã®ãƒ–ックマーク
lã‚ã¨ã§èªã‚€
eコメント一覧を開ã
oページを開ã
KMC Staff Blog:SoftFloatã®æœªå®šç¾©å‹•ä½œãƒã‚°ï¼ˆ1）signedã®unsignedãªçµ¶å¯¾å€¤ã‚’求ã‚ã‚‹éš›ã«INT_MIN
GitHub - tomhrr/dale: Lisp-flavoured C
GitHub - yrnkrn/zapcc: zapcc is a caching C++ compiler based on clang, designed to perform faster compilations
GitHub - emscripten-core/emscripten: Emscripten: An LLVM-to-WebAssembly Compiler
{{#tags}}- {{label}}
{{/tags}}