Demayeng,
I normally like to reinforce the edges of slabs running into walls with some reo to stop cracking and ensure the load arrives at the centre of the wall, in my hand clacs I normally allow for some stiffness of wall, generally I make this about 50% of the wall strength. However I would expect most programs would advise that you don't design for moment in the walls.
does the program average hotspots over an area, or just ignore? While I agree hotspots are not all that important to designing a slab because of relaxation ect, They could be fairly important if ignored in a beam design for secondary bending, which I must now ask, how does slabs handle the reinforcement of beams that are large and wide. As i would expect that these would be modelled as plates, not beams, hence you would have compatibility torsion and My? Which brings me to my next question, does slabs handle compatibility torque? Like an edge beam? if so does it iterate it's answer when cracked and uncracked conditions for beams?
I think i could spend many hours trying to find more holes in the program but I guess the truth of the matter is that a program no matter how good can’t replace an engineer.
When in doubt, just take the next small step.