日々の流転

λ. bmcall()でのsvalue_to_avalue()

Method#to_procで作るProcの実体であるbmcall()は、引数をsvalue_to_avalue()で単値から多値へと変換してるけど、最初から多値で受け取ればいいのにと思った(bmcall.diff)。でも、こうなってるのにはきっと何か理由があるんだろうなぁ。

続き

λ. Banshee - A toolkit for building constraint-based analyses

BANSHEE is a toolkit that simplfies the task of building constraint-based program analyses. Program analyses are widely used in compilers and software engineering tools for discovering or verifying specific properties of software systems, such as type safety and opportunities for program optimization. To use BANSHEE, the analysis designer provides a short specification file describing the kinds of constraints used in the analysis. From this specification, BANSHEE builds a customized constraint resolution engine which solves those constraints very efficiently. BANSHEE also builds a customized interface for that engine which is easy to use.

BANSHEE is the successor to BANE, the Berkeley ANalysis Engine, which can be found here.

メモ。バンシーっていうと北欧の方の女の妖精だったっけ。