repo.or.cz
/
smatch.git
/
search
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
log
|
graphiclog1
|
graphiclog2
|
commit
|
commitdiff
|
tree
|
refs
|
edit
|
fork
first
·
prev
·
next
ignore_side_effects: get_child_rcu() double evaluates with __CHECKER__
2015-04-13
D
a
n Carpenter
ignore_side
_
effects: get_ch
i
l
d
_
rcu() double e
v
alu
a
tes
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-04-09
Dan Carpe
n
ter
i
m
p
l
i
e
d: use c
o
mparison information fo
r
implic
a
t
ions
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-04-09
D
a
n Carpen
t
er
smatch
.
h: move stree_stac
k
decl
a
ration from smatch_slist
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-04-07
Da
n
Carpenter
rosenberg:
add
_
_builtin_memset/memcpy()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-03-30
D
a
n Carpenter
us
e
r_d
a
ta
2
:
h
andle return
e
d struct members
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-03-30
Dan Carpe
n
ter
c
o
mpari
s
on: update a commen
t
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-03-30
D
an Carpenter
smdb
.
py: update
t
o ref
l
ect LIMIT/FILTER changes
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-03-30
Da
n
Carp
e
n
t
er
unwind: a
d
d some null checks
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-03-30
Dan Carpen
t
er
t
y
pe
:
inc
l
ude
s
ma
t
ch_slist
.
h
t
o preven
t
a
s
egfault
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-03-30
Dan Carpenter
e
xtr
a
: don't set
s
t
a
tes to u
n
known at the beginning
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-03-30
Da
n
Carpenter
extra: don't set
t
rue
f
alse states
i
f
t
hey
a
re the
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-03-30
Dan Carpenter
func
t
ion_
h
ooks: add a hac
k
around
in compare
_
db_retur
n
_state
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-03-30
Dan Carpenter
list: add a co
m
ment a
b
o
u
t
re
g
ister_implications
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-03-30
Dan Ca
r
p
e
nter
param_l
i
mit: handle s
t
r
uct me
m
bers
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-03-30
Dan Carp
e
nter
states: white
space fix
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-03-30
Dan Carpen
t
er
co
n
d
itions
:
ignore known
/
implied
c
onditions
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-03-30
Dan C
a
r
p
enter
strings: record string ass
i
gn
m
e
n
ts
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-03-30
Dan Carpenter
struct_assignmen
t
: save a lot
m
ore informa
t
ion
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-03-30
Dan C
a
rpenter
p
a
ram_limit/filter: fix a type bug
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-03-30
Silvan Jeg
e
n
db: A
v
oid dereferencing null pointer
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-03-26
Dan
Carpenter
comparis
o
n: handle canonic
a
l for loops w
i
th variable
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-03-26
Dan Carpenter
comparison
:
unsigned can not be
less than
ze
r
o
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-03-26
Dan Carpenter
flow
:
se
t
__cur_
s
tmt
and __pr
e
v_stmt
insid
e
f
or loops
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-03-26
Dan Carpenter
comparison: me
r
g
ing e
q
u
i
valent states
is not unde
f
ined
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-03-26
Dan Carpenter
compa
r
ison: fix an indent
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-03-20
D
a
n Carpenter
f
unc
t
ion_
h
ooks
:
fix up db_com
p
are_c
a
llback()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-03-20
D
an C
a
rpenter
f
unction_hooks, debug: print impossible
r
e
turns if
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-03-20
D
a
n Carpent
e
r
helper
:
don't str
i
p casting in get_a
r
ray
_
offset()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-03-20
D
an
C
a
rpenter
l
i
nks: export merge_link_st
a
tes
(
)
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-03-20
Dan Carp
e
nter
help
e
r:
m
a
k
e expr_to_s
t
r(
)
p
r
i
n
t
f
orced casts
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-03-20
Dan Carpenter
t
y
pe: ma
k
e
t
yp
e
_t
o
_str(
)
return a sname() bu
f
fer
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-03-20
Dan Carpenter
modification_hooks: set a variable as modified when
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-03-20
Dan Carpe
n
ter
user_d
a
ta2: tag it if
a
function
sets
p
ar
a
meters to
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-03-20
Dan Carp
e
n
ter
s
tack: clea
n
up a function
pr
o
toty
p
e
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-03-20
Da
n
Carpenter
deref_chec
k
: ig
n
o
r
e
a
r
rays
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-03-18
Dan Car
p
e
n
t
er
t
y
p
e: make sval_
t
ype_max() de
f
ault to "
l
ong long"
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-03-18
D
an Carpenter
type: don't return SYM_NO
D
E types from get
_
real
_
b
ase
_
t
y
pe()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-03-15
Dan
Carp
e
nter
s
i
de_eff
e
c
ts: the iterate_a
l
l_k
i
nds() macro has sid
e
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-03-15
Dan
C
arpenter
unr
e
achabl
e
: do
n
't complain
a
b
o
ut iterate_all_kinds()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-03-13
Dan
C
a
r
penter
flow: fix "f
o
o += !bar
;
" assignments
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-03-11
Dan Carpent
e
r
lib: handle -funs
i
gned-char
option
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-03-10
Dan Carpenter
k
e
rnel
.
igno
r
e_
s
ide_
e
ffects:
a
dd some macros
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-03-10
Dan Carp
e
n
ter
i
ndenting:
allow "br
e
ak; case XXX:"
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-03-05
Dan Carpe
n
te
r
u
ser_dat
a
2:
mark s
s
canf()
output as user data
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-03-05
D
an Ca
r
penter
math,
r
l: f
i
x
handi
n
g div
i
sion in
v
olving
n
e
gati
v
e
num
b
ers
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-03-05
Dan Carpenter
s
val: fix sval_binop_overflo
w
s()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-03-05
Da
n
Carpenter
preceden
c
e: complain abo
u
t
"foo
<< bar -
baz"
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-03-04
Dan Carpenter
flow: handle
struct
i
nitiali
z
ation be
t
ter
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-03-03
Dan Car
p
enter
e
s
tate: add a NUL
L
check in estates_equi
v
(
)
commit
|
commitdiff
|
tree
2015-03-03
Dan
Carpenter
par
a
m_u
s
e
d: stor
e
when
a
p
a
rameter
i
s
used so we don
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-03-02
Da
n
Carpenter
ex
t
ra: ignore
m
ore
_
_
i
n_fa
k
e_assign d
a
t
a
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-03-02
D
an Carp
e
n
ter
comparis
o
n: fix a crashing bug
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-03-02
Dan Ca
r
penter
type: add
a
n expr_signed() function that mat
c
hes e
x
pr_unsi
g
ned()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-02-26
Dan Carpenter
smdb
.
p
y
:
a
d
d
f
unctions to show f
u
nctions impleme
n
ti
n
g
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-02-26
Dan
Car
p
enter
extra: handle
t
e
m
porary shorthand p
o
inters
better
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-02-26
Dan C
a
rpenter
derefere
n
ces_pa
r
a
m
:
lo
o
k for
po
i
n
t
er
s
used as an arr
a
y
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-02-26
Dan Carpenter
check_indenting:
w
arn about missing curly
braces and
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-02-24
D
a
n Carpenter
param_cleare
d
: add a commen
t
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-02-24
Dan Carpenter
validation: c
o
rrect so
m
e
output
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-02-24
A
aro Koski
n
en
build: a
l
low us
e
of P
K
G
_
CONFIG t
o
override pkg-config
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-02-23
Da
n
C
arpent
e
r
d
b
: build
in
d
exes faster
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-02-23
Dan Ca
r
p
e
nter
slist: fix
comp
i
le breakage
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-02-23
Dan Carpenter
kernel_pri
n
tf: silence some f
a
lse posi
t
i
ves using sm
a
tch_str
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-02-23
Dan Carpente
r
strings: reco
r
d w
h
ich stri
n
gs
a
r
e
being u
s
e
d
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-02-19
Dan Carpenter
user_data2: turn o
n
skb->data
t
a
gging
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-02-19
Dan Carpenter
d
b: rename FILTER_VA
L
UE, LIMITED_VAL
U
E, and ADDED_VAL
U
E
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-02-19
D
a
n Carpe
n
ter
ke
r
n
e
l_printf: sile
n
c
e
some "struct sock
a
d
d
r
"
f
a
lse
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-02-19
D
an Carpente
r
t
ype: add unions to t
y
pe_
t
o_str()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-02-18
D
an
C
arpenter
typ
e
_value: speed up loading t
h
e
d
ata
b
ase
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-02-18
Dan C
a
rpenter
*
new*
r
eturn_c
a
s
t
:
c
om
p
lain about retur
n
-EINVAL in
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-02-17
Dan Carp
e
nter
format
_
string: dele
t
e
t
h
is be
c
aus
e
ch
e
ck_ke
r
nel_print
f
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-02-17
Dan Ca
r
penter
f
u
n
cti
o
n_hoo
k
s: add
some de
b
u
g
output
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-02-17
Dan Carpenter
extra: cleanup db_param_add_s
e
t()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-02-17
Dan Carpe
n
ter
e
x
tr
a
: separate PARAM_LIMIT and PARAM_FILTE
R
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-02-17
Dan C
a
r
penter
function_hooks: don't take a shortcut for "need
l
ess
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-02-17
Dan C
a
rpente
r
help
e
r: intr
o
duce alloc_state_st
r
()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-02-17
D
a
n Carpenter
m
a
th: handle
"
if (li
k
ely(1))
{
"
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-02-17
Da
n
Carpenter
math: f
i
x
/cle
a
nup do_comparison()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-02-17
Dan Carpente
r
capped: don't
record si
n
gle
v
al
u
es
a
s cap
p
ed in the
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-02-17
Dan Carp
e
nt
e
r
db: export g
e
t
_
stat
i
c_f
i
lt
e
r()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-02-17
Dan Carpenter
user_data2:
w
r
o
ng parameter tagged as user
d
ata i
n
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-02-17
D
an Carpente
r
rosenberg: delete some c
o
de
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-02-17
D
a
n Car
p
enter
ro
s
enb
e
rg: strip
a
way
som
e
casting (e
l
iminates
a
fa
l
s
e
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-02-17
Dan
C
arpenter
r
o
senberg: don't save
u
nneeded states
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-02-17
D
a
n
Carpenter
b
u
f_size
:
don't save use
l
e
ss
i
nf
o
r
m
ation i
n
th
e
database
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-02-17
Dan Carpenter
struct_assignment: ignore more
f
ake assignmen
t
s
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-02-17
Dan Carpente
r
slist: fix debu
g
g
ing out
p
ut
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-02-16
Dan Carpenter
param_
c
leared, ros
e
nber
g
: add un
d
erscored me
m
s
et/cpy
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-02-16
Dan Carpe
n
t
e
r
param_filter
/
set: don't
r
ecord fake assignments
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-02-16
Dan C
a
rpenter
slist, d
e
bugging: don't p
r
int ->poss
i
ble lis
t
if the
r
e
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-02-16
Dan Carpe
n
ter
type_
v
al: add more stuff to ignore
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-02-16
D
an
Car
p
ente
r
db/reload_pa
r
tial
.
s
h: change d
a
tabase info for
o
ne
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-02-16
Silv
a
n Jeg
e
n
D
o
c
u
mentati
o
n fixes
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-02-13
Da
n
Carpenter
ke
r
n
el_p
r
int
f
: pu
t
lots of single q
u
ot
e
s
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-02-13
D
a
n Carpenter
Merge branch 'devel3'
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-02-12
Rasmus
Ville
m
oes
check_kernel_printf
.
c: A
l
l
ow co
n
st c
h
ar[]
f
orm
a
t ar
g
ume
n
ts
commit
|
commitdiff
|
tree
2015-02-12
Rasmu
s
V
i
llemoes
check
_
ke
r
ne
l
_printf
.
c: Handl
e
'fmt ? :
"default"'
commit
|
commitdiff
|
tree
2015-02-12
Rasmus Villemoes
c
h
eck_kernel_pri
n
t
f
.
c:
Simplify re
c
ursive calling
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-02-12
Dan Carpent
e
r
check_kernel_pri
n
t
f
.
c: Simplify
r
ecursive calling
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-02-12
D
an Carpenter
kernel_printf: allow
'\b' if
it
'
s
the f
i
rst character
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
next