First look at InferSharp: A C# version of Facebook’s Infer
-
Neel Bhatt[^]:
InferSharp brings the scalable, automated and interprocedural memory safety analytics of Infer to the .NET platform.
You know what happens when you 'infer', don't you?
OK, it doesn't work like 'assume', I assume?
-
Neel Bhatt[^]:
InferSharp brings the scalable, automated and interprocedural memory safety analytics of Infer to the .NET platform.
You know what happens when you 'infer', don't you?
OK, it doesn't work like 'assume', I assume?
As an Italian, "InferSharp" sounds creepy: "Inferno" means "hell"...
-
Neel Bhatt[^]:
InferSharp brings the scalable, automated and interprocedural memory safety analytics of Infer to the .NET platform.
You know what happens when you 'infer', don't you?
OK, it doesn't work like 'assume', I assume?
Only available as a docker image... On the one hand I suppose this is a step up from a decadish ago when they released several VS preview builds with broken installers such that your only way to get the final version involved either a full OS reinstall, or IIRC extensive registry hacking. On the other hand, that large a dependency is a hard nope for me. The farthest I'm willing to go from a proper windows install is relocating penguin droppings from `C:\whatever\` to `C:\ProgramFails\whatever\` to keep my root folder clean.
Did you ever see history portrayed as an old man with a wise brow and pulseless heart, weighing all things in the balance of reason? Is not rather the genius of history like an eternal, imploring maiden, full of fire, with a burning heart and flaming soul, humanly warm and humanly beautiful? --Zachris Topelius Training a telescope on one’s own belly button will only reveal lint. You like that? You go right on staring at it. I prefer looking at galaxies. -- Sarah Hoyt
-
Neel Bhatt[^]:
InferSharp brings the scalable, automated and interprocedural memory safety analytics of Infer to the .NET platform.
You know what happens when you 'infer', don't you?
OK, it doesn't work like 'assume', I assume?
Kent Sharkey wrote:
memory safety analytics of Infer to the .NET platform
ok, in a managed, garbage collected environment, assuming no unsafe code, am I missing something? What is the point??? :~
Latest Articles:
Client-Side Type-Based Publisher/Subscriber, Exploring Synchronous, "Event-ed", and Worker Thread Subscriptions