Здравствуйте, cash_a_lot, Вы писали:

__>Вопрос в том, как добраться то таблицы вызвов C/С++ функций с помощью SpiderMonkey: определить тип возвращаемый функцией, типы локальных переменных и их контент.

В общем случае типы переменных на этапе компиляции не известны. Например что возвращает эта функция?

function foo(bar)
{
  return bar % 1? "odd" : false;
}