Category “nstatic”

54 posts

Image

Interprocedural Analysis

One distinctive feature of my static analysis tool, NStatic, is support for fast interprocedural analysis as demonstrated by this snapshot of the callstack window depicting a stack trace, eleven function calls deep. Note that this is a pre-release product, and anything I mention in this post is subject to change.
Read more » Oct 23, 2006, 11:43PM
NStatic
Image

Last Mile

I have got another month of UI tweaking and bug-fixing left on my tool. Probably within that time I will released a non-public build to the few dozen people on my beta list, followed sometime later by a more extensive beta. I am currently planning on talking about NSTATIC during a
Read more » Oct 23, 2006, 10:14AM
NStatic

NStatic Status

I currently have 29 active bugs in my plate for the NStatic. The noise in my blog has been low, as I have been very busy developing and fixing bugs. I am thinking of saving all the "Rotor" Shared Source CLI bugs that I find in a list to be
Read more » Oct 1, 2006, 11:38PM
NStatic
Image

Vista Issues

I have been testing my software under Vista pre-RC1 (5536) and noticed some issues. My multithreaded application is no longer as responsive as it was under Windows XP during scanning. I had done the right thing and separated the scanning code from the UI thread; I also gave the scanning
Read more » Sep 11, 2006, 11:10PM
NStatic

Framework Bug #1

This snippet is from the file _baseoverlappedasyncresult.cs in the SSCLI project (aka Rotor). This function is used in the Base Class Library of the .NET Framework. private void InternalFree() { m_Overlapped = null; m_PinnedObjects = null; if (m_NativeOverlapped != IntPtr.Zero) { unsafe
Read more » Sep 11, 2006, 10:15PM
NStatic

Floating-Point Numbers

Working with floating-point numbers can be a pain. I have written several posts on floating-point arithmetic including Numbers in .NET, Floating Point Arithmetic I and II. There is a good article on “What Every Computer Scientist Should Know About Floating-Point Arithmetic.” There’s also another great article which describes what, I believe,
Read more » Aug 14, 2006, 5:32AM
NStatic
Image

NStatic Status

It’s been about a month since I last posted, and people are wondering about status of NStatic. I have been setting myself quite a few deadlines in the past for releasing a beta. It’s getting there, but there are some of the issues I encountered. July has been one of
Read more » Jul 30, 2006, 4:05AM
NStatic

Combinators

Eric Lippert writes about a limitation of generic delegates in that they cannot be used to build combinators — a function that takes a function and returns a function. With nongeneric delegate one can define a combinator as follows: delegate D D(D d); Eric then demonstrates some combinators from combinatory logic.
Read more » Jun 24, 2006, 7:53PM
NStatic
Image

Partial Office UI

I promised that I would deliver the new Office UI that NStatic uses this morning. Unfortunately, I am currently redoing the icons on the ribbon, so you’ll have to wait another day or two. For now, I’ll give you a partial glimpse. Hopefully, you’ll get your hands on this release
Read more » May 28, 2006, 7:23AM
NStatic
Image

Workspaces

Excel has a feature called “File/Save Workspaces…” which saves the layout of multiple spreadsheets, so that in the future one can load multiple spreadsheets at once in a preconfigured arrangement. (There’s also a similar feature “Views/Custom Views” which works within a single spreadsheet and preserves a number of view and
Read more » May 4, 2006, 5:13PM
NStatic
Image

Effortless UI, Part 1

No tyranny is so irksome as petty tyranny: the officious demands of policemen, government clerks, and electromechanical gadgets. -- Edward Abbey Jeff Atwood writes about making software “considerate,” which lists thirteen different attributes of considerate software.  It’s a nice read. In the post, he writes that considerate software … takes
Read more » Apr 23, 2006, 11:56AM
NStatic

More on Specifications

In my previous post on specifications,  there were some comments raised on the three approaches to adding requirements. My tool doesn’t require modification of code. The utility of a utility is increased when no action is required of the utilizer. However, I will allow developers to add additional information. Omer suggested a fourth option
Read more » Apr 1, 2006, 10:08AM
NStatic
Image

NStatic Social Interface

In order to make NStatic easier for novice users, I added a proven help concept that has previously shipped in the world’s most popular applications and operating system. Above is Clippy, who is always willing to lend a helping hand, whenever he thinks the user is encountering difficulties. Clippy is
Read more » Mar 31, 2006, 8:24PM
NStatic

Specifications

Spec# is an experimental specifications-base version of the C# programming language designed by Microsoft Research. Previous languages like Eiffel included specifications, which were converted to run-time checks. Spec# includes an automatic program verifier called Boogie that checks specifications statically. NStatic is similar to Spec# cum Boogie in its capabilities; I do not know
Read more » Mar 31, 2006, 5:41PM
NStatic
Image

Inductive UI

I am a fan of Inductive User Interfaces, which I have written about in the past. Inductive UIs become more prominent in Windows Vista, but already ubiquitous in various application categories such as utilities (anti-virus, anti-spyware) and tax software. Some may think of Inductive UI as a dumbed-down wizard-based interface. Others
Read more » Mar 29, 2006, 9:54AM
NStatic

 

Navigation

Categories

About

SoftPerson develops innovative new desktop software applications by incorporating artificial intelligence and natural language technologies to bring human-like intelligence to everyday applications.

Social Media